1
Published 2006
Table of Contents: ...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Quality Perception -- An Offline Fuzzy Based Approach for Iris Recognition with Enhanced Feature Detection...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Systems -- Challenges in Programming Sensor Networks -- Regular Papers -- Distributed Proximity...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...Keynote Address I -- Processor Architecture for Trustworthy Computers -- Session 1A: Energy...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Computing for High-Security/High-Performance Ambient Systems -- FPL-3E: Towards Language Support...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ...Modular Verification of Object-Based Programs -- The COST IC0701 Verification Competition 2011...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets -- Concurrent Program Metrics Drawn...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...
View full text
Electronic eBook