1
Publié 2015
Table des matières: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Accéder au texte intégral
Électronique eBook
2
Publié 2014
Table des matières: ... -- On the Role of Shared Randomness in Simultaneous Communication -- Short PCPs with Projection Queries -- Star...
Accéder au texte intégral
Électronique eBook
3
Publié 2008
Table des matières: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
Accéder au texte intégral
Électronique eBook
4
Publié 2012
Table des matières: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...
Accéder au texte intégral
Électronique eBook
6
Publié 2008
Table des matières: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Accéder au texte intégral
Électronique eBook
7
Publié 2007
Table des matières: ... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...
Accéder au texte intégral
Électronique eBook
8
Publié 2006
Table des matières: ... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...
Accéder au texte intégral
Électronique eBook
9
Publié 2015
Table des matières: ... Analysis and Interactive Planning Through Natural Language Communication -- A Theory of Intentions...
Accéder au texte intégral
Électronique eBook
10
Publié 2005
Table des matières: ...: Multi-party Communication -- A Scalable Petri Net Representation of Interaction Protocols...
Accéder au texte intégral
Électronique eBook
11
Publié 2006
Table des matières: ... Variation Constraints -- Periodic Message Scheduling on a Switched Ethernet for Hard Real-Time Communication...
Accéder au texte intégral
Électronique eBook
12
Publié 2015
Table des matières: ... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...
Accéder au texte intégral
Électronique eBook
13
Publié 2014
Table des matières: ...Verifying Communicating Multi-pushdown Systems via Split-Width -- Booster: An Acceleration-Based...
Accéder au texte intégral
Électronique eBook
14
Publié 2010
Table des matières: ... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...
Accéder au texte intégral
Électronique eBook
15
Publié 2010
Table des matières: ... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...
Accéder au texte intégral
Électronique eBook
16
Publié 2014
Table des matières: ...Reuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics...
Accéder au texte intégral
Électronique eBook
17
Publié 2005
Table des matières: ...Ontologies for Interaction Protocols -- On the Impact of Ontological Commitment -- Agent to Agent...
Accéder au texte intégral
Électronique eBook
18
Publié 2008
Table des matières: ... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...
Accéder au texte intégral
Électronique eBook
19
Publié 2005
Table des matières: ... Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P...
Accéder au texte intégral
Électronique eBook
20
Publié 2013
Table des matières: ... Constraints on EAST-ADL Models -- SysADL: A SysML Profile for Software Architecture Description -- A...
Accéder au texte intégral
Électronique eBook