2523 search results - page 209 / 505 » Correct Development of Embedded Systems |
116
Voted
ITP
2010
15 years 7 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
127
click to vote
IJCAI
2003
15 years 4 months ago
2003
Building data integration systems today is largely done by hand, in a very labor intensive and error prone process. In this paper, we describe a conceptually new solution to this ...
133
click to vote
C5
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we present a novel framework for asynchronous Web-based training. The proposed system has two distinguishing features. Firstly, it is based on P2P architecture for ...
130
click to vote
DEDS
2006
15 years 3 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
137
click to vote
EDCC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...