4511 search results - page 757 / 903 » Observation Based System Security |
111
click to vote
PVLDB
2010
15 years 1 months ago
2010
The workflow models have been essentially operation-centric for many years, ignoring almost completely the data aspects. Recently, a new paradigm of data-centric workflows, call...
132
click to vote
TDSC
2010
14 years 9 months ago
2010
Automated, rapid, and effective fault management is a central goal of large operational IP networks. Today's networks suffer from a wide and volatile set of failure modes, wh...
135
click to vote
VLSID
2001
IEEE
16 years 3 months ago
2001
IEEE
In this paper, we propose a new transparent built-in self-test ( TBIST ) method to test multiple embedded memory arrays with various sizes in parallel. First, a new transparent tes...
124
click to vote
OSDI
2006
ACM
16 years 3 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
128
click to vote
CICLING
2001
Springer
15 years 7 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...