3565 search results - page 394 / 713 » Modeling a system controller for timing analysis |
142
click to vote
KDD
2001
ACM
16 years 5 months ago
2001
ACM
REVI-MINER is a KDD-environment which supports the detection and analysis of deviations in warranty and goodwill cost statements. The system was developed within the framework of ...
145
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
161
click to vote
IJCAI
2001
15 years 6 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
159
click to vote
IEEEICCI
2008
IEEE
15 years 11 months ago
2008
IEEE
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
135
click to vote
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...