6308 search results - page 390 / 1262 » Modeling Urgency in Timed Systems |
184
click to vote
ISMIS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...
172
Voted
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
153
Voted
WSC
1998
15 years 8 months ago
1998
As CDMA systems reach capacity, infrastructure providers are extending them by offering multicarrier capability. The capacity of an n-carrier CDMA system should be at least n time...
150
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Technology extrapolation -- the calibration and prediction of achievable design in future technology generations ? drives the evolution of VLSI system architectures, design method...
189
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
We have developed a Modelling and Simulation platform for technical evaluation of Electronic Toll Collection on Motor Highways. This platform is used in a project of the Dutch gov...