362 search results - page 4 / 73 » Mechanizing and Improving Dependency Pairs |
157
click to vote
LCN
2008
IEEE
16 years 12 days ago
2008
IEEE
—A wide range of Internet-based services that use reliable transport protocols display what we call thin-stream properties. This means that the application sends data with such a...
194
click to vote
DSN
2004
IEEE
15 years 9 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...
152
click to vote
ICCD
2002
IEEE
16 years 2 months ago
2002
IEEE
Fault-tolerant distributed real-time systems are presently facing a lot of new challenges. Although many techniques provide effective masking of node failures on the architectural...
185
click to vote
HAPTICS
2005
IEEE
15 years 11 months ago
2005
IEEE
An analytical model for cutting of a plate of material with a pair of scissors is presented in terms of concepts of contact and fracture mechanics. The forces of contact between t...
164
click to vote
PET
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. This paper presents a novel use of pairing-based cryptography to improve circuit construction in onion routing anonymity networks. Instead of iteratively and interactivel...