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
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