檢索結果 - interactive communication programming programmed contracts https

搜索替代詞:
interactive communication » interactive communications , interaction communication , alternative communication
communication programming » communications programming , communication programmed , communication programmes
programming programmed » processing programmed
programmed contracts » programme contract , programming contracts , programme abstracts
https » http

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht...

出版 2006

書本目錄: “...Section I: Semantics of Agent Communication -- An Operational Model for the FIPA-ACL Semantics...”
獲取全文

電子電子書

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

出版 2005

書本目錄: “... -- Towards Distributed Contract Negotiation in Component-Based Systems -- Component Adaptation...”
獲取全文

電子電子書

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /

出版 2011

書本目錄: “....- Analyzing Contract Robustness through a Model of Commitments.- A Case for New Directions in Agent-Oriented...”
獲取全文

電子電子書

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

出版 2014

書本目錄: “...Verifying Communicating Multi-pushdown Systems via Split-Width -- Booster: An Acceleration-Based...”
獲取全文

電子電子書

Rigorous Development of Complex Fault-Tolerant Systems

出版 2006

書本目錄: “...-Oriented Development of Fault Tolerant Communicating Systems -- Programming-Logic Analysis of Fault...”
獲取全文

電子電子書

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 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...”
獲取全文

電子電子書

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings /

出版 2010

書本目錄: “... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... -- Representations of Petri Net Interactions -- Communicating Transactions -- Consistent Correlations...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

出版 2010

書本目錄: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... -- An SMT Approach to Bounded Reachability Analysis of Model Programs -- Verification -- Parameterized Tree...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... Constructive Models for Set Contraction -- Semantic Awareness in Automated Web Service Composition through...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... Monitoring and Debugging Using the Mercury Monitoring System -- Interactive Visualization of Grid Monitoring...”
獲取全文

電子電子書

Coordination, Organizations, Institutions, and Norms in Agent Systems V COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, U...

出版 2010

書本目錄: “... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”
獲取全文

電子電子書

Electrical Engineering and Applied Computing

出版 2011

書本目錄: “...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”
獲取全文

電子電子書

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /

出版 2007

書本目錄: “...Invited Talk -- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
獲取全文

電子電子書

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

出版 2008

書本目錄: “... in the Semantic Web -- Semantic Web Service Choreography: Contracting and Enactment -- Formal Model for Semantic...”
獲取全文

電子電子書

縮小搜索