Sciweavers

1091 search results - page 164 / 219
» The State of Cognitive Systems Engineering
Sort
View
FATES
2004
Springer
14 years 2 months ago
Specifying and Generating Test Cases Using Observer Automata
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pet...
DISCEX
2003
IEEE
14 years 2 months ago
Modeling Multistep Cyber Attacks for Scenario Recognition
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
Steven Cheung, Ulf Lindqvist, Martin W. Fong
ISLPED
1996
ACM
101views Hardware» more  ISLPED 1996»
14 years 1 months ago
High-level power estimation
The growing demand for portable electronic devices has led to an increased emphasis on power consumption within the semiconductor industry. As a result, designers are now encourag...
Paul E. Landman
FECS
2007
138views Education» more  FECS 2007»
13 years 10 months ago
Computing Branches Out: On Revitalizing Computing Education
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
Ljubomir Perkovic, Amber Settle
AEI
2007
75views more  AEI 2007»
13 years 9 months ago
Mining data from intensive care patients
In this paper we describe the application of data mining methods for predicting the evolution of patients in an intensive care unit. We discuss the importance of such methods for ...
Jan Ramon, Daan Fierens, Fabián Güiza,...