Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
during computing » during commuting, turing computing, during composting
processing java » processing japan, processing james, processing j
program during » program using
java program » java programs, a program, java programming
https » http
during computing » during commuting, turing computing, during composting
processing java » processing japan, processing james, processing j
program during » program using
java program » java programs, a program, java programming
https » http
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
3
Published 2008
Table of Contents:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- CrossTrace: Cross-Layer Measurement for IEEE 802.11 Wireless Testbeds -- The Total Overflow during a Busy...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Processing -- High-Bandwidth Address Generation Unit -- An IP Core for Embedded Java Systems -- Embedded...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL...”View full text
Electronic
eBook
11
12
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
13
Published 2005
Table of Contents:
“...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... -- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML...”View full text
Electronic
eBook
15
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
16
Published 2005
Table of Contents:
“... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... on the Process Used by Developers During Internet-Scale Code Search -- Artifact Representation Techniques...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“...Assessing Agent Applications -- The Jadex Project – Programming Model -- Extensible Java EE-based...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... VRML and JAVA to Build Virtual Game-Based Learning Environment for Addition and Subtraction Operation...”View full text
Electronic
eBook