Sciweavers

338 search results - page 46 / 68
» A Formal Approach to Heuristically Test Restorable Systems
Sort
View
ISMB
1993
15 years 3 months ago
The Induction of Rules for Predicting Chemical Carcinogenesis in Rodents
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...
Dennis Bahler, Douglas W. Bristol
IRI
2008
IEEE
15 years 8 months ago
Model check stochastic supply chains
—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...
Li Tan, Shenghan Xu
CAISE
2006
Springer
15 years 5 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
HICSS
1999
IEEE
91views Biometrics» more  HICSS 1999»
15 years 6 months ago
The Causal Relationships among EDI Controls: A Structural Equation Model
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...
Sangjae Lee, Ingoo Han
AAAI
2007
15 years 4 months ago
Fluxplayer: A Successful General Game Player
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....
Stephan Schiffel, Michael Thielscher