Search Results - interactive communication programming programming constraints https

Search alternatives:
interactive communication » interactive communications , interaction communication , alternative communication
communication programming » communications programming , communication programmed , communication programmes
programming programming » programming programmed , programming program
programming constraints » programming constraint , programming constrained , programming constructs
constraints https » constraints haptic , constraints data , constraints chap

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

Published 2015

Table of Contents: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... -- On the Role of Shared Randomness in Simultaneous Communication -- Short PCPs with Projection Queries -- Star...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... Analysis and Interactive Planning Through Natural Language Communication -- A Theory of Intentions...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...: Multi-party Communication -- A Scalable Petri Net Representation of Interaction Protocols...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Variation Constraints -- Periodic Message Scheduling on a Switched Ethernet for Hard Real-Time Communication...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “...Verifying Communicating Multi-pushdown Systems via Split-Width -- Booster: An Acceleration-Based...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
View full text

Electronic eBook

Ontologies for Agents: Theory and Experiences

Published 2005

Table of Contents: “...Ontologies for Interaction Protocols -- On the Impact of Ontological Commitment -- Agent to Agent...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “...Reuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P...”
View full text

Electronic eBook

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... Systems -- Organization Oriented Programming: From Closed to Open Organizations -- Analysis, Design...”
View full text

Electronic eBook

Narrow Search