Sciweavers

113 search results - page 10 / 23
» A Preliminary Model for Generating Experience Knowledge Base...
Sort
View
RE
2008
Springer
13 years 6 months ago
Rule-Based Maintenance of Post-Requirements Traceability Relations
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
Patrick Mäder, Orlena Gotel, Ilka Philippow
PADS
2004
ACM
14 years 4 days ago
Batch Based Cancellation: A Rollback Optimal Cancellation Scheme in Time Warp Simulations
An efficient cancellation scheme is essential to the performance of Time Warp simulations. The pitfalls of rollback echoes, chasing hazards and cascading rollbacks can be identiï¬...
Yi Zeng, Wentong Cai, Stephen John Turner
PASTE
2004
ACM
14 years 4 days ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
ICSE
2009
IEEE-ACM
14 years 7 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...
ATAL
2008
Springer
13 years 8 months ago
Learning to interact: connecting perception with action in virtual environments
Modeling synthetic characters which interact with objects in dynamic virtual worlds is important when we want the agents to act in an autonomous and non-preplanned way. Such inter...
Pedro Sequeira, Ana Paiva