1
Pubblicazione 2005
Sommario: ...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...
Testo
Elettronico eBook
2
Pubblicazione 2008
Sommario: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
Testo
Elettronico eBook
3
Pubblicazione 2014
Sommario: ...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...
Testo
Elettronico eBook
4
Pubblicazione 2013
Sommario: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
Testo
Elettronico eBook
5
Pubblicazione 2005
Sommario: ... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...
Testo
Elettronico eBook
6
Pubblicazione 2008
Sommario: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
Testo
Elettronico eBook
7
Pubblicazione 2012
Sommario: ..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...
Testo
Elettronico eBook
8
Pubblicazione 2015
Sommario: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
Testo
Elettronico eBook
9
Pubblicazione 2005
Sommario: ...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...
Testo
Elettronico eBook
10
Pubblicazione 2014
Sommario: ...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...
Testo
Elettronico eBook
11
Pubblicazione 2008
Sommario: ...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...
Testo
Elettronico eBook
12
Pubblicazione 2007
Sommario: ... in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating...
Testo
Elettronico eBook
13
Pubblicazione 2005
Sommario: ... -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade...
Testo
Elettronico eBook
14
Pubblicazione 2005
Sommario: ...Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions...
Testo
Elettronico eBook
15
Pubblicazione 2014
Sommario: ... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...
Testo
Elettronico eBook
16
Pubblicazione 2008
Sommario: ... Multidisciplinary Software Composition for Interactive Applications -- Compositional Modeling for Data-Centric...
Testo
Elettronico eBook
17
Pubblicazione 2007
Sommario: ... in a Graph Using k-Means and Application to Protein Interactions Networks -- Species Clustering via...
Testo
Elettronico eBook
18
Pubblicazione 2007
Sommario: ... Concern Interactions in Middleware -- An Improved Genetic Algorithm for Web Services Selection -- Mobility...
Testo
Elettronico eBook
19
Pubblicazione 2007
Sommario: ...Programming Languages -- Implementation, Compilation, Optimization of Object-Oriented Languages...
Testo
Elettronico eBook
20
Pubblicazione 2007
Sommario: ... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...
Testo
Elettronico eBook