Hakutulokset - interactive communication programming programmed constraints https

Tarkoititko:
interactive communication » interactive communications , interaction communication , alternative communication
communication programming » communications programming , communication programmed , communication programmes
programming programmed » processing programmed
programmed constraints » programming constraints , programs constraints , programming constraint
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 /

Julkaistu 2015

Sisällysluettelo: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “... -- On the Role of Shared Randomness in Simultaneous Communication -- Short PCPs with Projection Queries -- Star...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2012

Sisällysluettelo: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2015

Sisällysluettelo: “... Analysis and Interactive Planning Through Natural Language Communication -- A Theory of Intentions...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “...: Multi-party Communication -- A Scalable Petri Net Representation of Interaction Protocols...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... Variation Constraints -- Periodic Message Scheduling on a Switched Ethernet for Hard Real-Time Communication...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2015

Sisällysluettelo: “... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “...Verifying Communicating Multi-pushdown Systems via Split-Width -- Booster: An Acceleration-Based...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “...Reuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics...”
Hae kokoteksti

Elektroninen E-kirja

Ontologies for Agents: Theory and Experiences

Julkaistu 2005

Sisällysluettelo: “...Ontologies for Interaction Protocols -- On the Impact of Ontological Commitment -- Agent to Agent...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2013

Sisällysluettelo: “... Constraints on EAST-ADL Models -- SysADL: A SysML Profile for Software Architecture Description -- A...”
Hae kokoteksti

Elektroninen E-kirja

1
2
3
4
5
6
7
Seuraava »
[7]

Rajaa hakua