Výsledky vyhledávání - interactive simulation programming programming contracts https

Alternativní vyhledávání:
programming programming » programming programmed , programming program
interactive simulation » interactive simulations , interactive visualization
simulation programming » simulation program , recreation programming , simulation gaming
programming contracts » programming contract , programming constructs , programming constraints
https » http

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

Vydáno 2015

Obsah: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2014

Obsah: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2015

Obsah: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2015

Obsah: “... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... -- Virtual Simulation of Cultural Heritage Works Using Haptic Interaction -- Ethnicity as a Factor...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Získat plný text

Elektronický zdroj E-kniha

Electrical Engineering and Applied Computing

Vydáno 2011

Obsah: “...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... -- Counterexample Guided Spotlight Abstraction Refinement -- An Experimental Evaluation of Probabilistic Simulation...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2015

Obsah: “... Programming.- Can Social Media Substitute Revolutionary Leaders? An Agent-Based Demonstration -- Simulating...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Získat plný text

Elektronický zdroj E-kniha