4511 search results - page 786 / 903 » Observation Based System Security |
149
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
181
click to vote
DSOM
2000
Springer
15 years 10 months ago
2000
Springer
The availability of object middleware, such as CORBA, is rapidly being accepted as a means for cost effective and fast development for a wide range of distributed applications. Dis...
152
click to vote
WACC
1999
ACM
15 years 10 months ago
1999
ACM
The interoperability of systems to support cooperative work requires moving beyond purely technical issues; it also concerns the means and practices that users adopt to articulate...
166
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
164
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...