3428 search results - page 67 / 686 » Making the Case |
87
Voted
RTAS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
102
click to vote
INFOCOM
2002
IEEE
15 years 3 months ago
2002
IEEE
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...
102
Voted
WSE
2002
IEEE
15 years 3 months ago
2002
IEEE
Every day, new information, products and services are being offered by providers on the World Wide Web. At the same time, the number of consumers and the diversity of their intere...
75
Voted
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Abstract. The development of network-aware applications, i.e. applications that dynamically adapt to network conditions, has had some success in the domain of multimedia applicatio...
98
Voted
CAV
1998
Springer
15 years 2 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...