1432 search results - page 95 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
129
Voted
ADAEUROPE
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
109
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
155
Voted
HPDC
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present a scalable protocol for conducting periodic probes of network performance in a way that minimizes collisions between separate probes. The goal of the prot...
117
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
135
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...