1490 search results - page 174 / 298 » Interactive semantics |
110
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
116
click to vote
JUCS
2008
15 years 2 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
111
click to vote
ICOST
2009
Springer
15 years 1 days ago
2009
Springer
Smart Homes are pervasive systems that interact with the user using a service offer paradigm to provide fully automated daily repetitive tasks. When services are augmented with sem...
135
click to vote
IESA
2009
15 years 22 hour ago
2009
Organisational interoperability requires a matching of goals and provided and required services between interacting organizations. It is being shown that the recent OMG standards ...
147
click to vote
FMSB
2008
15 years 3 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...