Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactions simulation » interaction simulation, interactive simulation, interactions regulation
simulation processing » simulation proceedings, simulation process, modulation processing
programmed contracts » programme contract, programming contracts, programme abstracts
https » http
interactions simulation » interaction simulation, interactive simulation, interactions regulation
simulation processing » simulation proceedings, simulation process, modulation processing
programmed contracts » programme contract, programming contracts, programme abstracts
https » http
1
Published 2005
Table of Contents:
“...: Efficient Calculation and Simulation -- Towards Integrating Business Policies with Business Processes -- A...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...-agent Simulation -- Natural Language Processing -- Revisiting the Readability Assessment of Texts...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Core Environment on the Basis of Image Processing in 3D Space -- Evaluation of the Contract-Aware...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Genetic Programming to Supply Chain Management -- Multi-Agent Simulation of Financial Markets -- Adaptive...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Detection -- Simulating Complex Organ Interactions: Evaluation of a Soft Tissue Discrete Model -- Face...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Counterexample Guided Spotlight Abstraction Refinement -- An Experimental Evaluation of Probabilistic Simulation...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”View full text
Electronic
eBook
15
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
16
Published 2014
Table of Contents:
“... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”View full text
Electronic
eBook
17
Published 2011
Table of Contents:
“...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Contract Model to Organize Behavioral Specifications -- Improved Processing of Textual Use Cases: Deriving...”View full text
Electronic
eBook



