207 search results - page 10 / 42 » Automated Protocol Implementations Based on Activity Threads |
CONTEXT
2005
Springer
14 years 1 months ago
2005
Springer
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
ICRA
2000
IEEE
13 years 12 months ago
2000
IEEE
A robotic system is developed to automate the packing of polycrystalline silicon nuggets into a fragile fused silica crucible in CZ semiconductor wafer production. The highly irre...
FORTE
2008
13 years 9 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—We propose a distributed scheduling and active queue management mechanism for wireless ad hoc networks. The approach is based on a random access scheduler where the transmission...
CSFW
2000
IEEE
13 years 12 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...