893 search results - page 172 / 179 » Environment Assumptions for Synthesis |
ISW
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
SAB
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
AGILEDC
2003
IEEE
14 years 28 days ago
2003
IEEE
This experience report describes our efforts to introduce agile development techniques incrementally into our customer’s organization in the National Cancer Institute and develo...
CODES
2003
IEEE
14 years 27 days ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
ICCV
2003
IEEE
14 years 27 days ago
2003
IEEE
The perception of transparent objects from images is known to be a very hard problem in vision. Given a single image, it is difficult to even detect the presence of transparent o...