4036 search results - page 570 / 808 » Formal Methods |
197
click to vote
COMPSAC
2006
IEEE
16 years 19 days ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
183
click to vote
CSFW
2006
IEEE
16 years 19 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
163
click to vote
CSMR
2005
IEEE
16 years 6 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
148
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract— This paper presents a novel approach for visionbased control of the end-effector of parallel mechanisms. It is based on the metrological redundancy paradigm, which simp...
153
click to vote
IV
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...