Søgeresultater - interactions simulation programming programming contracts https

Søg alternativer:
interactions simulation » interaction simulation , interactive simulation , interactions regulation
programming programming » programming programmed , programming program
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 /

Udgivet 2015

Indholdsfortegnelse: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Virtual Simulation of Cultural Heritage Works Using Haptic Interaction -- Ethnicity as a Factor...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Få fuldtekst

Electronisk eBog

Electrical Engineering and Applied Computing

Udgivet 2011

Indholdsfortegnelse: “...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... -- Counterexample Guided Spotlight Abstraction Refinement -- An Experimental Evaluation of Probabilistic Simulation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Programming.- Can Social Media Substitute Revolutionary Leaders? An Agent-Based Demonstration -- Simulating...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Få fuldtekst

Electronisk eBog