4209 search results - page 410 / 842 » Abstract Dialectical Frameworks |
201
Voted
CSFW
2006
IEEE
16 years 26 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
207
click to vote
ICNS
2006
IEEE
16 years 25 days ago
2006
IEEE
The Globus Toolkit is properly configured open source software for setting up grid nodes across multiple heterogeneous platforms. The process of grid enabling a machine is a long ...
140
click to vote
ICRA
2006
IEEE
16 years 25 days ago
2006
IEEE
- This paper introduces a new approach to identify singularities of planar parallel manipulators (PPMs). This method is based on Maxwell’s reciprocal figure theory which establis...
194
click to vote
IJCNN
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— High-level specification of how the brain represents and categorizes the causes of its sensory input allows to link “what is to be done” (perceptual task) with “...
174
click to vote
IROS
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— This paper describes an investigation into the control of autonomous mobile sensor platforms in a marine sensor network used to provide monitoring of transitory phenome...