338 search results - page 40 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
VMCAI
2005
Springer
14 years 2 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
13 years 10 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 ...
ICSM
2005
IEEE
14 years 2 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...
SPIRE
2005
Springer
14 years 2 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...
AIIA
2003
Springer
14 years 10 days 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...