5128 search results - page 69 / 1026 » When Abstraction Fails |
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
MSE
2002
IEEE
15 years 2 months ago
2002
IEEE
With the increasing demand and popularity of multimedia streaming applications over the current Internet, manipulating MPEG streams in a real-time software manner is gaining more ...
SIGMETRICS
1993
ACM
15 years 1 months ago
1993
ACM
: Performance is critical to the success of today’s software systems. However, many software products fail to meet their performance objectives when they are initially constructe...
BROADNETS
2004
IEEE
15 years 1 months ago
2004
IEEE
Real-time multimedia transport has stringent bandwidth, delay, and loss requirements. Supporting this application in current wireless ad hoc networks is a challenge. Such networks...
106
click to vote
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...