4286 search results - page 65 / 858 » Formalizing Service Interactions |
120
click to vote
COLING
2000
15 years 6 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',.....
125
click to vote
IFM
1999
Springer
15 years 9 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...
279
click to vote
AMSTERDAM
2009
15 years 2 months 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 ...
146
click to vote
FMCO
2005
Springer
15 years 10 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...
186
Voted
STORYTELLING
2005
Springer
15 years 10 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....