3991 search results - page 352 / 799 » Bounding homogeneous models |
287
click to vote
FOSAD
2009
Springer
16 years 2 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
211
click to vote
FGR
2008
IEEE
16 years 2 months ago
2008
IEEE
Accurately estimating the person’s head position and orientation is an important task for a wide range of applications such as driver awareness and human-robot interaction. Over...
209
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
172
Voted
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
A key emerging and popular communication paradigm, primarily employed for information dissemination, is peer-to-peer (P2P) networking. In this paper, we model the spread of malwar...
211
Voted
3DIM
2005
IEEE
16 years 1 months ago
2005
IEEE
The computational cost of a collision detection (CD) algorithm on polygonal surfaces depends highly on the complexity of the models. A novel “locally refined” approach is intr...