1705 search results - page 268 / 341 » Representing Constraints with Automata |
120
Voted
SASN
2003
ACM
15 years 6 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
95
Voted
SIGGRAPH
2003
ACM
15 years 6 months ago
2003
ACM
Our design goal for OnLive Traveler was to develop a virtual community system that emulates natural social paradigms, allowing the participants to sense a tele-presence, the subje...
120
Voted
CCS
2003
ACM
15 years 6 months ago
2003
ACM
Understanding the strategies of attacks is crucial for security applications such as computer and network forensics, intrusion response, and prevention of future attacks. This pap...
84
Voted
IBPRIA
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we present a method for the regularization of 3D cylindrical surfaces. By a cylindrical surface we mean a 3D surface that can be expressed as an application S(l, θ) ...
116
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this paper we present a cross-domain application for ambient and health monitoring. The system architecture is intended to be openly extensible in order to fulfil unanticipa...