4693 search results - page 837 / 939 » Verifying Hybrid Systems |
93
Voted
IJRR
2010
14 years 11 months ago
2010
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
115
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—To address energy constraint problem in sensor networks, node reclamation and replacement strategy has been proposed for networks accessible to human beings and robots. The majo...
130
click to vote
SP
2008
IEEE
14 years 11 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
122
click to vote
VR
2008
IEEE
14 years 11 months ago
2008
IEEE
It is difficult to implement a stable and realistic haptic simulation for cutting rigid objects that is based on a damping model because of an inevitable conflict between stability...
118
Voted
STTT
2010
14 years 11 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...