Risultati della ricerca - interactive simulation programming programming contract https

Cerca anche:
programming programming » programming programmed , programming program
interactive simulation » interactive simulations , interactive visualization
simulation programming » simulation program , recreation programming , simulation gaming
programming contract » programming contracts , programming constructs , programming constraint
contract https » control https , conflict https , contract nets

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Pubblicazione 2015

Sommario: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Testo

Elettronico eBook

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

Pubblicazione 2014

Sommario: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Testo

Elettronico eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Pubblicazione 2010

Sommario: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
Testo

Elettronico eBook

Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /

Pubblicazione 2010

Sommario: “...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”
Testo

Elettronico eBook

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

Pubblicazione 2015

Sommario: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Testo

Elettronico eBook

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers /

Pubblicazione 2015

Sommario: “... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...”
Testo

Elettronico eBook

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Pubblicazione 2010

Sommario: “... -- Virtual Simulation of Cultural Heritage Works Using Haptic Interaction -- Ethnicity as a Factor...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Testo

Elettronico eBook

Electrical Engineering and Applied Computing

Pubblicazione 2011

Sommario: “...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... -- Counterexample Guided Spotlight Abstraction Refinement -- An Experimental Evaluation of Probabilistic Simulation...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
Testo

Elettronico eBook

Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2...

Pubblicazione 2015

Sommario: “... Programming.- Can Social Media Substitute Revolutionary Leaders? An Agent-Based Demonstration -- Simulating...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... for Document-Driven Workflow Systems -- Service Interaction Patterns -- Industrial Papers -- Modeling...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”
Testo

Elettronico eBook

Restringi la ricerca