2255 search results - page 249 / 451 » High Assurance Software Systems |
168
click to vote
LCR
2000
Springer
15 years 10 months ago
2000
Springer
We present the design and implementation of an infrastructure that enables monitoring of resources, services, and applications in a computational grid and provides a toolkit to hel...
150
click to vote
AIIA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents the first release of EDITS, an opensource software package for recognizing Textual Entailment developed by FBK-irst. The main contributions of EDITS ...
161
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
1 Virtual Machine authors face a difficult choice between low performance, cheap interpreters, or specialized and costly compilers. A method able to bridge this wide gap is the exi...
182
click to vote
WCET
2008
15 years 8 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
137
click to vote
PUC
2006
15 years 6 months ago
2006
Abstract. We envision future office buildings that partly or fully implement a flexible office organization where office rooms are dynamically assigned to currently present employe...