Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing properties » processing proceedings
properties https » property https, properties humans, processes https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
processing properties » processing proceedings
properties https » property https, properties humans, processes https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Published 2010
Table of Contents:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Automata -- Calculation of Bridge Function and Thermodynamic Properties of Lennard-Jones Fluid using...”View full text
Electronic
eBook
3
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
4
Published 2010
Table of Contents:
“... case of Wonogiri - Central Java - Indonesia -- The robustness of indicator based poverty assessment...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... -- Coinductive Properties of Causal Maps -- Extending Timed Process Algebra with Discrete Stochastic Time -- Vx86...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Small-World Properties in VANETs -- Impact of the Number of Beacons in PSO-Based Auto-localization...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Strict LMI Condition for ESPR Property of Continuous-Time Descriptor Systems -- Design of Fuzzy Sliding...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... and VLSI Designs -- Information Security Best Practices -- Smart Card Security -- Graphics Processing Units...”View full text
Electronic
eBook