7099 search results - page 329 / 1420 » Context for models of concurrency |
192
click to vote
ICCCN
2007
IEEE
16 years 1 months 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...
210
Voted
RISE
2004
Springer
16 years 26 days 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...
185
click to vote
CW
2004
IEEE
15 years 11 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. ...
207
click to vote
RE
2009
Springer
16 years 2 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...
211
click to vote
ISMAR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...