الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
interaction simulation » interactive simulation, interactive simulations, international simulation
simulation processing » simulation proceedings, simulation process, modulation processing
programmed contracts » programme contract, programming contracts, programme abstracts
https » http
interaction simulation » interactive simulation, interactive simulations, international simulation
simulation processing » simulation proceedings, simulation process, modulation processing
programmed contracts » programme contract, programming contracts, programme abstracts
https » http
1
منشور في 2005
جدول المحتويات:
“...: Efficient Calculation and Simulation -- Towards Integrating Business Policies with Business Processes -- A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“...-agent Simulation -- Natural Language Processing -- Revisiting the Readability Assessment of Texts...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2007
جدول المحتويات:
“... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2015
جدول المحتويات:
“... Core Environment on the Basis of Image Processing in 3D Space -- Evaluation of the Contract-Aware...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2014
جدول المحتويات:
“... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2015
جدول المحتويات:
“...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2010
جدول المحتويات:
“... of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“... -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2005
جدول المحتويات:
“... Genetic Programming to Supply Chain Management -- Multi-Agent Simulation of Financial Markets -- Adaptive...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2005
جدول المحتويات:
“... Detection -- Simulating Complex Organ Interactions: Evaluation of a Soft Tissue Discrete Model -- Face...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2005
جدول المحتويات:
“... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2008
جدول المحتويات:
“... -- Counterexample Guided Spotlight Abstraction Refinement -- An Experimental Evaluation of Probabilistic Simulation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2014
جدول المحتويات:
“... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2011
جدول المحتويات:
“...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2007
جدول المحتويات:
“... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2008
جدول المحتويات:
“... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2007
جدول المحتويات:
“... Contract Model to Organize Behavioral Specifications -- Improved Processing of Textual Use Cases: Deriving...”احصل على النص الكامل
الكتروني
كتاب الكتروني