338 search results - page 46 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
ISMB
1993
13 years 10 months ago
1993
This paper presents results from an ongoing effort in applying a variety of induction-based methods to the problem of predicting the biological activity of noncongeneric (structu...
IRI
2008
IEEE
14 years 3 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
CAISE
2006
Springer
14 years 13 days ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
HICSS
1999
IEEE
14 years 1 months ago
1999
IEEE
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...
AAAI
2007
13 years 11 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....