1884 search results - page 51 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
SOFSEM
2010
Springer
13 years 6 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
ISI
2004
Springer
14 years 2 months ago
2004
Springer
Through their misuse of authorized privileges, insiders have caused great damage and loss to corporate internal information assets, especially within the Intelligence Community (IC...
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Cooperative intrusion detection techniques for MANETs utilize ordinary computing hosts as network intrusion sensors. If compromised, these hosts may inject bogus data into the int...
ADAEUROPE
2005
Springer
14 years 2 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
ICS
2010
Tsinghua U.
13 years 7 months ago
2010
Tsinghua U.
Abstract—Power modeling based on performance monitoring counters (PMCs) has attracted the interest of many researchers since it become a quick approach to understand and analyse ...