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 2013
Table of Contents: ...An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks -- Routing Low...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... New Processing Model Based on Mobile Interactive Documents -- A Framework for Observing Dynamics...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... for SVC Video Transport over IP Networks -- Developing Value Framework of Ubiquitous Computing...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
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 2006
Table of Contents: ... in Database Applications Evolution -- Modular Name Analysis for Java Using JastAdd -- Techniques...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ...Framework for the Distributed Computing of the Application Components -- Analysis of statistical...
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 2010
Table of Contents: ...Multimodal Human Spacecraft Interaction in Remote Environments -- A Framework for Collaborative...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Framework for Modeling and Reasoning About Component-Oriented Language Abstractions -- Behavioral...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ...Keynote -- Dynamic Software Adaptation: Middleware for Pervasive Computing -- Middleware Services...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... an Executable TTCN-3 Markov Chain Usage Model -- Language-Critical Development of Process-Centric Application...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... of Computations in Real Numbers Based on Generalized Affine Arithmetic -- A Framework for End-to-End Verification...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...
View full text
Electronic eBook