Sciweavers

2205 search results - page 216 / 441
» Mutation Operators for Specifications
Sort
View
131
Voted
HASE
2008
IEEE
15 years 9 months ago
A Grammar-Based Reverse Engineering Framework for Behavior Verification
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
Chunying Zhao, Kang Zhang
109
Voted
ICPR
2008
IEEE
15 years 9 months ago
Intelligence computing approach for seizure detection based on intracranial electroencephalogram (IEEG)
Epilepsy is a neurological disorder which causes two million people in the United States for suffering. In this research, we proposed a seizure detection method based on intracran...
Tsu-Wang Shen, Xavier Kuo, Chung-Shan Yu
IEEESCC
2008
IEEE
15 years 9 months ago
A Fault Tolerance Approach for Enterprise Applications
Service Oriented Architectures (SOAs) have emerged as a preferred solution to tackle the complexity of large-scale, complex, distributed, and heterogeneous systems. Key to success...
Vina Ermagan, Ingolf Krüger, Massimiliano Men...
DATE
2007
IEEE
110views Hardware» more  DATE 2007»
15 years 9 months ago
Reconfigurable system-on-chip data processing units for space imaging instruments
Individual Data Processing Units (DPUs) are commonly used for operational control and specific data processing of scientific space instruments. To overcome the limitations of trad...
Björn Fiethe, Harald Michalik, C. Dierker, Bj...
94
Voted
HICSS
2007
IEEE
93views Biometrics» more  HICSS 2007»
15 years 9 months ago
Understanding CIO Role Effectiveness: The Antecedents and Consequents
This research-in-progress paper describes the development of a research model exploring the antecedents and consequents of CIO role effectiveness. Specifically, we argue that CIO ...
Daniel Q. Chen, David S. Preston