Sciweavers

16832 search results - page 39 / 3367
» Scenario Based Evaluation
Sort
View
109
Voted
CN
2002
66views more  CN 2002»
15 years 3 months ago
Protocol animation based on event-driven visualization scenarios in real-time LOTOS
Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguch...
137
Voted
FM
2009
Springer
146views Formal Methods» more  FM 2009»
15 years 1 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
61
Voted
COMPUTER
2010
61views more  COMPUTER 2010»
15 years 1 months ago
Scenario-Based Resource Prediction for QoS-Aware Media Processing
Juan Hamers, Lieven Eeckhout