334 search results - page 4 / 67 » Timed Property Sequence Chart |
137
Voted
FM
2009
Springer
15 years 1 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...
109
Voted
VL
2003
IEEE
15 years 8 months ago
2003
IEEE
The recent major revision of the UML (see [4]) has introduced significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [...
100
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper presents a novel analysis on the decoding convergence of Time Hopping (TH) and Direct Sequence (DS) Code-Division Multiple-Access (CDMA) Ultrawide Bandwidth (UWB) sy...
128
Voted
PADL
2004
Springer
15 years 9 months ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
171
Voted
NFM
2011
14 years 10 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...