檢索結果 - interactive communication programmed programming constraint https

搜索替代詞:
interactive communication » interactive communications , interaction communication , alternative communication
communication programmed » communication problems , communication processes
programmed programming » programmer programming , programming programming , programs programming
programming constraint » programming constrained , programming unconstrained , programming constructs
constraint https » constraint atoms , constraint graphs , constraint codes

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

出版 2015

書本目錄: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
獲取全文

電子電子書

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

出版 2014

書本目錄: “... -- On the Role of Shared Randomness in Simultaneous Communication -- Short PCPs with Projection Queries -- Star...”
獲取全文

電子電子書

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

出版 2008

書本目錄: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
獲取全文

電子電子書

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

出版 2012

書本目錄: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
獲取全文

電子電子書

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

出版 2007

書本目錄: “... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”
獲取全文

電子電子書

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

出版 2008

書本目錄: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
獲取全文

電子電子書

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

出版 2010

書本目錄: “... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”
獲取全文

電子電子書

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

出版 2006

書本目錄: “... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”
獲取全文

電子電子書

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

出版 2015

書本目錄: “... Analysis and Interactive Planning Through Natural Language Communication -- A Theory of Intentions...”
獲取全文

電子電子書

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 /

出版 2005

書本目錄: “...: Multi-party Communication -- A Scalable Petri Net Representation of Interaction Protocols...”
獲取全文

電子電子書

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

出版 2006

書本目錄: “... Variation Constraints -- Periodic Message Scheduling on a Switched Ethernet for Hard Real-Time Communication...”
獲取全文

電子電子書

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

出版 2015

書本目錄: “... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”
獲取全文

電子電子書

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

電子電子書

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

出版 2010

書本目錄: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
獲取全文

電子電子書

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings /

出版 2014

書本目錄: “...Reuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics...”
獲取全文

電子電子書

Ontologies for Agents: Theory and Experiences

出版 2005

書本目錄: “...Ontologies for Interaction Protocols -- On the Impact of Ontological Commitment -- Agent to Agent...”
獲取全文

電子電子書

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

出版 2008

書本目錄: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
獲取全文

電子電子書

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

出版 2005

書本目錄: “... Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P...”
獲取全文

電子電子書

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings /

出版 2013

書本目錄: “... Constraints on EAST-ADL Models -- SysADL: A SysML Profile for Software Architecture Description -- A...”
獲取全文

電子電子書

1
2
3
4
5
6
7
下一個 »
[7]

縮小搜索