3387 search results - page 88 / 678 » Model-Checking for Real-Time Systems |
182
click to vote
ICETE
2004
15 years 7 months ago
2004
: - Modern intrusion detection systems are comprised of three basically different approaches, host based, network based, and a third relatively recent addition called procedural ba...
154
click to vote
TII
2008
15 years 6 months ago
2008
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
157
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
This paper addresses battery-aware static scheduling in batterypowered distributed real-time embedded systems. As suggested by previous work, reducing the discharge current level ...
169
click to vote
RTSS
2008
IEEE
16 years 17 days ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
163
click to vote
HIPC
2007
Springer
16 years 11 days ago
2007
Springer
This paper presents our work in combining peer-to-peer dynamic tree management with hierarchical Operational Transformation (OT) over document trees to achieve low computational an...