6239 search results - page 357 / 1248 » From Zinc to Design Model |
212
Voted
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
ACT Search and rescue robots often use tethers to provide power and communication, but tethers get caught on debris and small robots have difficulty with the added drag of the tet...
167
click to vote
SAFECOMP
2005
Springer
16 years 1 months ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
216
click to vote
DATE
2003
IEEE
16 years 25 days ago
2003
IEEE
This paper describes the design considerations of and preliminary conclusions drawn from an ongoing project dealing with the design of a software architecture for a family of so-c...
213
click to vote
ESAW
2000
Springer
15 years 11 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
190
Voted
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...