Sciweavers

8099 search results - page 1145 / 1620
» Higher-Order Task Models
Sort
View
IJCAI
1989
15 years 8 months ago
A Focused, Context-Sensitive Approach to Monitoring
We address two issues which arise in the task of detecting anomalous behavior in complex systems with numerous sensor channels: how to adjust alarm thresholds dynamically, within ...
Richard J. Doyle, Suzanne M. Sellers, David Atkins...
SOQUA
2007
15 years 8 months ago
An approach to detecting failures automatically
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
Jochen Wuttke
TREC
2007
15 years 8 months ago
Cross Language Information Retrieval for Biomedical Literature
This workshop report discusses the collaborative work of UT, EMC and TNO on the TREC Genomics Track 2007. The biomedical information retrieval task is approached using cross langu...
Martijn J. Schuemie, Dolf Trieschnigg, Wessel Kraa...
WCE
2007
15 years 8 months ago
Prioritizing Quality Specifications of Multi-agent Systems
— Agents are being recommended as a next generation model for revising and restructuring the complex distributed applications. So the task of engineering quality for agent system...
Punam Bedi, Vibha Gaur
ASIAN
2009
Springer
274views Algorithms» more  ASIAN 2009»
15 years 8 months ago
Reducing Equational Theories for the Decision of Static Equivalence
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
Steve Kremer, Antoine Mercier 0002, Ralf Treinen
« Prev « First page 1145 / 1620 Last » Next »