6348 search results - page 450 / 1270 » Extensible control architectures |
196
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
237
click to vote
ICDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
With the increasing complexity of large-scale distributed (LSD) systems, an efficient monitoring mechanism has become an essential service for improving the performance and reliab...
193
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...
206
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
Learning by human tutelage means that a human being guides the attention of a robot or agent in order to teach it a given concept. This kind of learning is very important to devel...
204
click to vote
CASES
2006
ACM
16 years 26 days ago
2006
ACM
Rising interest in the applications of wireless sensor networks has spurred research in the development of computing systems for lowthroughput, energy-constrained applications. Un...