3686 search results - page 374 / 738 » An Approach to a Trustworthy System Architecture Using Virtu... |
173
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Dynamic memory storage has been widely used for years in computer science. However, its use in real-time systems has not been considered as an important issue, and memory manageme...
193
Voted
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...
172
click to vote
ICEIS
2006
IEEE
16 years 24 days ago
2006
IEEE
The consideration of Product information or Knowledge management, product traceability or genealogy, and product life cycle management implies new strategies and approaches to mana...
197
Voted
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents a domain-independent architecture for facilitating visual problem solving between robots or softbots and humans. The architecture de nes virtual and human agen...
206
click to vote
ECCV
1994
Springer
15 years 11 months ago
1994
Springer
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...