תוצאות חיפוש - interactions simulation programming programmed contracts http

אפשרויות חיפוש:
interactions simulation » interaction simulation , interactive simulation , interactions regulation
simulation programming » simulation program , recreation programming , simulation gaming
programming programmed » processing programmed
programmed contracts » programme contract , programming contracts , programme abstracts
contracts http » contracts act , contracts etc , contracts have

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

יצא לאור 2015

תוכן הענינים: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2014

תוכן הענינים: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2007

תוכן הענינים: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2010

תוכן הענינים: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2015

תוכן הענינים: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2010

תוכן הענינים: “...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2010

תוכן הענינים: “... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2008

תוכן הענינים: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2015

תוכן הענינים: “... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2010

תוכן הענינים: “... -- Virtual Simulation of Cultural Heritage Works Using Haptic Interaction -- Ethnicity as a Factor...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2005

תוכן הענינים: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2008

תוכן הענינים: “... -- Counterexample Guided Spotlight Abstraction Refinement -- An Experimental Evaluation of Probabilistic Simulation...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Electrical Engineering and Applied Computing

יצא לאור 2011

תוכן הענינים: “...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2008

תוכן הענינים: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2015

תוכן הענינים: “... Programming.- Can Social Media Substitute Revolutionary Leaders? An Agent-Based Demonstration -- Simulating...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2010

תוכן הענינים: “... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2005

תוכן הענינים: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני