4272 search results - page 209 / 855 » A Case for Automatic System Evaluation |
203
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
177
click to vote
IEEESCC
2007
IEEE
16 years 29 days ago
2007
IEEE
A service-oriented architecture (SOA) promises a more flexible intra- and interorganizational integration of heterogeneous application systems. The central design element of a SOA...
181
click to vote
FPL
2007
Springer
16 years 25 days ago
2007
Springer
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
157
click to vote
ETFA
2005
IEEE
16 years 8 days ago
2005
IEEE
The X-by-Wire systems in cars can only be accepted if they provide at least the same dependability than the traditional ones. In this paper we propose a new approach to evaluate t...
167
click to vote
WAC
2005
Springer
16 years 4 days ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...