Canlyniadau Chwilio - interaction simulation process programmed contracts https

Chwilio eraill:
interaction simulation » interactive simulation , interactive simulations , international simulation
programmed contracts » programme contract , programming contracts , programme abstracts
simulation process » simulation program , simulation proceedings , simulation approaches
process programmed » processing programmed , process program , groups programmed
https » http

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...: Efficient Calculation and Simulation -- Towards Integrating Business Policies with Business Processes -- A...”
Cael y testun llawn

Electronig eLyfr

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
Cael y testun llawn

Electronig eLyfr

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...-agent Simulation -- Natural Language Processing -- Revisiting the Readability Assessment of Texts...”
Cael y testun llawn

Electronig eLyfr

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
Cael y testun llawn

Electronig eLyfr

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Core Environment on the Basis of Image Processing in 3D Space -- Evaluation of the Contract-Aware...”
Cael y testun llawn

Electronig eLyfr

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...”
Cael y testun llawn

Electronig eLyfr

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /

Cyhoeddwyd 2015

Tabl Cynhwysion: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”
Cael y testun llawn

Electronig eLyfr

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”
Cael y testun llawn

Electronig eLyfr

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty...”
Cael y testun llawn

Electronig eLyfr

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open...”
Cael y testun llawn

Electronig eLyfr

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Cael y testun llawn

Electronig eLyfr

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Counterexample Guided Spotlight Abstraction Refinement -- An Experimental Evaluation of Probabilistic Simulation...”
Cael y testun llawn

Electronig eLyfr

Formal Modelling in Electronic Commerce

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Genetic Programming to Supply Chain Management -- Multi-Agent Simulation of Financial Markets -- Adaptive...”
Cael y testun llawn

Electronig eLyfr

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Detection -- Simulating Complex Organ Interactions: Evaluation of a Soft Tissue Discrete Model -- Face...”
Cael y testun llawn

Electronig eLyfr

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Cael y testun llawn

Electronig eLyfr

Electrical Engineering and Applied Computing

Cyhoeddwyd 2011

Tabl Cynhwysion: “...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”
Cael y testun llawn

Electronig eLyfr

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
Cael y testun llawn

Electronig eLyfr

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Cael y testun llawn

Electronig eLyfr

Theory and Practice of Model Transformations First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”
Cael y testun llawn

Electronig eLyfr

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Contract Model to Organize Behavioral Specifications -- Improved Processing of Textual Use Cases: Deriving...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad