6704 search results - page 5 / 1341 » Testing Scenario-Based Models |
128
Voted
MOBICOM
1999
ACM
15 years 5 months ago
1999
ACM
This study is a comparison of three routing protocols proposed for wireless mobile ad-hoc networks. The protocols are: Destination Sequenced Distance Vector (DSDV), Ad-hoc On dema...
140
Voted
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
116
Voted
FM
2009
Springer
14 years 11 months ago
2009
Springer
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...
91
Voted
ISORC
2008
IEEE
15 years 7 months ago
2008
IEEE
The concept of a scenario has long been utilized in military procurement as a means of evaluating capability in an operational context. With the advent of initiatives such as the ...
104
Voted
SIGDOC
2006
ACM
15 years 7 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...