Sciweavers

809 search results - page 121 / 162
» Causality: Objectives and Assessment
Sort
View
DSRT
2008
IEEE
16 years 22 days ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
Manel Khlif, Mohamed Shawky
ICAC
2008
IEEE
16 years 22 days ago
Digital Evolution of Behavioral Models for Autonomic Systems
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
Heather Goldsby, Betty H. C. Cheng, Philip K. McKi...
NOMS
2008
IEEE
16 years 20 days ago
On the multi-scale behavior of packet size distribution in Internet backbone network
—It is critical to adapt clear and representative real world traffic properties as groundwork for the contemporary and emergent future Internet workload generation. Byte count p...
Seongjin Lee, Youjip Won, Dong-Joon Shin
SECURWARE
2008
IEEE
16 years 20 days ago
Rating Agencies Interoperation for Peer-to-Peer Online Transactions
— In current peer-to-peer systems users interact with unknown services and users for the purpose of online transactions such as file sharing and trading of commodities. Peer-to-...
Mihaela Ion, Hristo Koshutanski, Volker Hoyer, Lui...
ICDE
2007
IEEE
189views Database» more  ICDE 2007»
16 years 18 days ago
Integration of Motion Capture and EMG data for Classifying the Human Motions
Three dimensional motion capture facility is a powerful tool for quantitative and qualitative assessment of multijoint external movements. Electro-myograph (EMG) signals give the ...
Gaurav N. Pradhan, Navzer D. Engineer, Mihai Nadin...