932 search results - page 100 / 187 » Verifying Progress in Timed Systems |
119
click to vote
MSS
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe a real implementation of a software component that manages caching of files from a tertiary storage management system to a large disk cache developed for use in the a...
151
click to vote
ACSW
2006
15 years 5 months ago
2006
Intrusion detection systems (IDS) perform an important role in the provision of network security, providing real- time notification of attacks in progress. One promising category ...
166
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
Embedded systems are being deployed as a part of critical infrastructures and are vulnerable to malicious attacks due to internet accessibility. Intrusion detection systems have b...
136
click to vote
AC
2000
Springer
15 years 3 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
234
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Data integration systems offer a uniform interface to a set of data sources. Despite recent progress, setting up and maintaining a data integration application still requires sign...