338 search results - page 40 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
110
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
NAACL
1994
15 years 3 months ago
1994
In this paper, we describe a reversibleletter-to-sound/soundto-letter generation system based on an approach which combines a rule-based formalism with data-driven techniques. We ...
105
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
To remain competitive in the fast paced world of software development, managers must optimize the usage of their limited resources to deliver quality products on time and within b...
122
click to vote
SPIRE
2005
Springer
15 years 7 months ago
2005
Springer
Effective information retrieval in XML documents requires the user to have good knowledge of document structure and of some formal query language. XML query languages like XPath a...
108
click to vote
AIIA
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we present GLARE, a domain-independent system for acquiring, representing and executing clinical guidelines. GLARE is characterized by the adoption of Artificial Int...