Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmed contracts » programme contract, programming contracts, programme abstracts
simulation process » simulation proceedings, simulation approaches
simulation program » education program
https » http
programmed contracts » programme contract, programming contracts, programme abstracts
simulation process » simulation proceedings, simulation approaches
simulation program » education program
https » http
1
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...: Efficient Calculation and Simulation -- Towards Integrating Business Policies with Business Processes -- A...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”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 2010
Table of Contents:
“...-agent Simulation -- Natural Language Processing -- Revisiting the Readability Assessment of Texts...”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 2010
Table of Contents:
“...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Counterexample Guided Spotlight Abstraction Refinement -- An Experimental Evaluation of Probabilistic Simulation...”View full text
Electronic
eBook
13
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
14
Published 2010
Table of Contents:
“... -- Virtual Simulation of Cultural Heritage Works Using Haptic Interaction -- Ethnicity as a Factor...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Programming.- Can Social Media Substitute Revolutionary Leaders? An Agent-Based Demonstration -- Simulating...”View full text
Electronic
eBook
16
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
17
Published 2008
Table of Contents:
“... -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open...”View full text
Electronic
eBook
18
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
19
Published 2005
Table of Contents:
“... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Genetic Programming to Supply Chain Management -- Multi-Agent Simulation of Financial Markets -- Adaptive...”View full text
Electronic
eBook