1803 search results - page 145 / 361 » Architectural framework for supporting operating system surv... |
175
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
169
click to vote
ASAP
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
141
click to vote
HICSS
2008
IEEE
16 years 26 days ago
2008
IEEE
Wireless sensor applications (WSNs) are often required to simultaneously satisfy conflicting operational objectives (e.g., latency and power consumption). Based on an observation...
156
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
ARTISST (ARTISST is a Real-Time System Simulation Tool) is a modular event-driven simulation framework for real-time systems. It is targeted towards the performance evaluation of ...
204
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...