1
Published 2005
Table of Contents: ...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
4
Table of Contents: ...Part I Introduction -- Evolution of Enterprise Systems -- Introduction to BizTalk Server -- Part II...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Software Engineering -- Relational Schema Evolution for Program Independency -- Reliability Enhancement...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... -- Personalized E-Learning Process Using Effective Assessment and Feedback -- Optimally Pricing European Options...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... for Effective Pattern Maintenance -- CommTracker: A Core-Based Algorithm of Tracking Community Evolution -- Face...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... in Database Applications Evolution -- Modular Name Analysis for Java Using JastAdd -- Techniques...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... with the GossipKit Framework -- Cost-Efficient Deployment of Collaborating Components -- STUNT Enhanced Java RMI...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Theory -- Refactoring Clustering in Java Software Networks -- Are Some Refactorings Attached to Fault...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity -- Philosophy, Ontology...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... characteristics of user arrival process to the testing service -- The Role of Enterprise Social Networking (ESN...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... -- Software Evolution -- Are Popular Classes More Defect Prone? -- Operation-Based, Fine-Grained Version...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Motivated by Hardware Evolution -- Contributed Papers -- A Compilation Model for Aspect-Oriented...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... on Wireless Information Networks and Pinning Control -- Dynamic Evolution in System Modeling of Knowledge...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
View full text
Electronic eBook