12981 search results - page 2199 / 2597 » Model Checking (Abstract) |
130
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
Abstract—The slack time in real-time systems can be used by recovery schemes to increase system reliability as well as by frequency and voltage scaling techniques to save energy....
122
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
138
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
140
click to vote
MICCAI
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. Many vascular pathologies can now be treated in a minimally invasive way thanks to interventional radiology. Instead of open surgery, it allows to reach the lesion of the...
135
Voted
MICCAI
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. Thickness measurements of the cerebral cortex can aid diagnosis and provide valuable information about the temporal evolution of several diseases such as Alzheimer’s, H...