112 search results - page 5 / 23 » Requirements Validation of a Voice Communication System Used... |
PIMRC
2008
IEEE
14 years 1 months ago
2008
IEEE
—Highways are an essential component of our society because they are critical to quality of life and to local and national economies. Under good conditions, highways provide a sa...
INFOCOM
1997
IEEE
13 years 11 months ago
1997
IEEE
Analysis of the drafi IEEE 802.11 wireless local area network (WLAN) standard is needed to characterize the expected performance of the standard’s ad hoc and infrastructure netw...
SAFECOMP
2000
Springer
13 years 11 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—We consider data networks in which real-time/near real-time applications require not only successful transmission of packets from source to destination, but also specific end-to...
RSP
1999
IEEE
13 years 11 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...