2523 search results - page 290 / 505 » Correct Development of Embedded Systems |
127
click to vote
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
108
Voted
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes an accent identification system for Portuguese, that explores different type of properties: acoustic, phonotactic and prosodic. The system is designed to be ...
114
Voted
ICSM
1996
IEEE
15 years 6 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
96
Voted
FOSSACS
2006
Springer
15 years 6 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
100
Voted
ANLP
1992
15 years 3 months ago
1992
This paper describes the approach followed in the development of the linguistic processor of the continuous speech dialog system implemented at our labs. The application scenario ...