Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
process property » process project, process projects, process proximity
https function » its function, sites function, ups function
function java » function jane, function jason, function james
process property » process project, process projects, process proximity
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Udgivet 2010
Indholdsfortegnelse:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2014
Indholdsfortegnelse:
“... Automata -- Calculation of Bridge Function and Thermodynamic Properties of Lennard-Jones Fluid using...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2007
Indholdsfortegnelse:
“...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... case of Wonogiri - Central Java - Indonesia -- The robustness of indicator based poverty assessment...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2007
Indholdsfortegnelse:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2007
Indholdsfortegnelse:
“...: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2010
Indholdsfortegnelse:
“... with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... -- Coinductive Properties of Causal Maps -- Extending Timed Process Algebra with Discrete Stochastic Time -- Vx86...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2013
Indholdsfortegnelse:
“... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2008
Indholdsfortegnelse:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2014
Indholdsfortegnelse:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2007
Indholdsfortegnelse:
“... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2013
Indholdsfortegnelse:
“... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2015
Indholdsfortegnelse:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2013
Indholdsfortegnelse:
“... Small-World Properties in VANETs -- Impact of the Number of Beacons in PSO-Based Auto-localization...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2006
Indholdsfortegnelse:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2010
Indholdsfortegnelse:
“..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2007
Indholdsfortegnelse:
“... Strict LMI Condition for ESPR Property of Continuous-Time Descriptor Systems -- Design of Fuzzy Sliding...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2014
Indholdsfortegnelse:
“... and VLSI Designs -- Information Security Best Practices -- Smart Card Security -- Graphics Processing Units...”Få fuldtekst
Electronisk
eBog