Sciweavers

653 search results - page 29 / 131
» Enhancing Commitment Machines
Sort
View
SAFECOMP
2007
Springer
14 years 4 months ago
Improving Test Coverage for UML State Machines Using Transition Instrumentation
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
Mario Friske, Bernd-Holger Schlingloff
IPPS
2000
IEEE
14 years 2 months ago
Support for Recoverable Memory in the Distributed Virtual Communication Machine
The Distributed Virtual Communication Machine (DVCM) is a software communication architecture for clusters of workstations equipped with programmable network interfaces (NIs) for ...
Marcel-Catalin Rosu, Karsten Schwan
DATE
1999
IEEE
80views Hardware» more  DATE 1999»
14 years 2 months ago
Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares
Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachabilit...
Youpyo Hong, Peter A. Beerel
APNOMS
2008
Springer
14 years 2 days ago
Empirical Analysis of Application-Level Traffic Classification Using Supervised Machine Learning
Accurate application traffic classification and identification are important for network monitoring and analysis. The accuracy of traditional Internet application traffic classific...
Byungchul Park, Young J. Won, Mi-Jung Choi, Myung-...
IMECS
2007
13 years 11 months ago
Support Vector Machine for Cardiac Beat Detection in Single Lead Electrocardiogram
— Among all ECG components, QRS complex is the most significant feature. Entropy based method for the detection of QRS complexes (cardiac beat) in the single lead Electrocardiogr...
Sarabjeet Singh Mehta, Nitin Shivappa Lingayat