103 search results - page 13 / 21 » Dependability Analysis and Verification for Connected System... |
141
Voted
EGC
2005
Springer
15 years 3 months ago
2005
Springer
For many remote sensing application projects, the quality of the research or the product is heavily dependent upon the quantity of computing cycles available. Middleware is softwar...
CONNECTION
2004
14 years 9 months ago
2004
In autonomous agent systems, internal memory can be an important element to overcome the limitations of purely reactive agent behaviour. This paper presents an analysis of memory r...
106
click to vote
WIMOB
2007
IEEE
15 years 3 months ago
2007
IEEE
—In this paper we investigate the issues in designing key management architecture for secure multicasting in remote software distribution to advance vehicles. We consider the Veh...
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a system that reads the text encountered in natural scenes with the aim to provide assistance to the visually impaired persons. This paper describes the system design a...
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...