1054 search results - page 16 / 211 » From a Verified Kernel towards Verified Systems |
DAC
1990
ACM
13 years 11 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— The design of robotic systems involves contributions from several areas of science and engineering. Electrical, mechanical and software components must be integrated to...
AIR
2004
13 years 7 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
PKC
1998
Springer
13 years 11 months ago
1998
Springer
A basic function of all signatures, digital or not, is to express trust and authority, explicit or implied. This is especially the case with digital signatures used in certificates...