4897 search results - page 393 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
171
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
— This paper presents a 3D object recognition method based on spin-images for a humanoid robot having a stereoscopic vision system. Spin-images have been proposed to search CAD m...
179
click to vote
LICS
1996
IEEE
15 years 11 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
181
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...
183
click to vote
TIME
2007
IEEE
16 years 29 days ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
160
click to vote
CIC
2003
15 years 8 months ago
2003
- Electronic textiles (e-textiles) are emerging as a novel method for constructing electronic systems in wearable and large area applications. This new type of processing system me...