180 search results - page 29 / 36 » Verifying Security Properties of Cryptoprotocols: A Novel Ap... |
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— As the use of sensor networks increases, security in this domain becomes a very real concern. One fundamental aspect of providing confidentiality and authentication is key dis...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
IJCAI
2003
13 years 10 months ago
2003
The problem of deriving joint policies for a group of agents that maximize some joint reward function can be modeled as a decentralized partially observable Markov decision proces...
ICCV
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we present a novel approach, called the “one-circle” algorithm, for measuring the eye gaze using a monocular image that zooms in on only one eye of a person. Ob...