492 search results - page 32 / 99 » Hybrid Sequence Charts |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
DIGRA
2003
Springer
14 years 2 months ago
2003
Springer
What are the exact aspects of the videogame medium, the precise features or combinations of features that lend themselves to expressing ideas and meaning? To chart this out, I beg...
FASE
2003
Springer
14 years 2 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
AOSE
2000
Springer
14 years 1 months ago
2000
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts t...
HCW
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...