4286 search results - page 65 / 858 » Formalizing Service Interactions |
100
Voted
COLING
2000
15 years 3 months ago
2000
We present a formal semantics for an objectoriented formalism which allows for the representation of plural objects (such as `Three N', `Most of the N', `Some N',.....
105
Voted
IFM
1999
Springer
15 years 6 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
229
Voted
AMSTERDAM
2009
15 years 2 days ago
2009
In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
128
Voted
FMCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
159
click to vote
STORYTELLING
2005
Springer
15 years 8 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....