1838 search results - page 253 / 368 » Process modelling: the deontic way |
101
click to vote
ASM
2008
ASM
15 years 1 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
114
click to vote
SIMVIS
2003
15 years 1 months ago
2003
The paradigm of the proxel ("probability element") was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models s...
105
click to vote
VEE
2006
ACM
15 years 5 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
WSC
2000
15 years 29 days ago
2000
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...
122
click to vote
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
Robust real-time tracking of non-rigid objects in a dynamic environment is a challenging task. Among various cues in tracking, color can provide an efficient visual cue for this t...