6047 search results - page 15 / 1210 » A Scenario Construction Process |
82
Voted
APN
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
63
Voted
APN
2006
Springer
15 years 2 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
101
Voted
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
We present a novel approach to representing and recognizing composite video events. A composite event is specified by a scenario, which is based on primitive events and their tem...
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process add...
79
Voted
ICALT
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents the adaptation model used in NUCLEO, a pilot e-learning environment that is currently being developed at the Complutense University of Madrid. The NUCLEO syste...