592 search results - page 34 / 119 » CTL Model Update: Semantics, Computations and Implementation |
MOBISYS
2003
ACM
14 years 8 months ago
2003
ACM
This paper introduces adaptation-aware editing and progressive update propagation, two novel mechanisms that enable authoring multimedia content and collaborative work on mobile d...
WOTUG
2008
13 years 10 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
PARA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
MIDDLEWARE
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
SPIN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...