7766 search results - page 85 / 1554 » Testing Nondeterminate Systems |
GI
2001
Springer
14 years 1 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
WSC
2008
13 years 11 months ago
2008
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications ove...
ICMLA
2008
13 years 10 months ago
2008
Though the TNM (Tumor, Lymph Node, Metastasis) is a widely used staging system for predicting the outcome of cancer patients, it is limited in prediction mainly because it does no...
ANSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Anomaly detection systems largely depend on user profile data to be able to detect deviation from normal activity. Most of this profile data is based on commands executed by use...
ICTAC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...