Sciweavers

4993 search results - page 763 / 999
» A System Approach to Energy Management
Sort
View
DISCEX
2003
IEEE
15 years 12 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
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
15 years 12 months ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
IDEAS
2003
IEEE
112views Database» more  IDEAS 2003»
15 years 12 months ago
Persistent Applications via Automatic Recovery
Building highly available enterprise applications using web-oriented middleware is hard. Runtime implementations frequently do not address the problems of application state persis...
Roger S. Barga, David B. Lomet, Stelios Paparizos,...
AIME
2003
Springer
15 years 12 months ago
Ontology for Task-Based Clinical Guidelines and the Theory of Granular Partitions
The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the ...
Anand Kumar, Barry Smith
CIKM
2003
Springer
15 years 12 months ago
Tracking changes in user interests with a few relevance judgments
Keeping track of changes in user interests from a document stream with a few relevance judgments is not an easy task. To tackle this problem, we propose a novel method that integr...
Dwi H. Widyantoro, Thomas R. Ioerger, John Yen