2227 search results - page 201 / 446 » Reversibility and Models for Concurrency |
173
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
164
click to vote
ICCCN
2007
IEEE
16 years 29 days ago
2007
IEEE
— A method to detect moving objects on non-stationary background is proposed. The concurrent motions of foreground and background pixels make it extremely difficult to maintain a...
177
click to vote
RISE
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
163
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce a function-defined extension of Virtual Reality Modeling Language where analytical formulas are used for defining geometry and appearance of 3D shapes. ...
184
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...