5900 search results - page 153 / 1180 » Dependable Systems |
FMCAD
2000
Springer
14 years 1 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
ATAL
2005
Springer
14 years 6 days ago
2005
Springer
A case study of usability of dial-a-ride bus systems is reported. We conduct a social simulation to compare efficiencies of the dial-a-ride bus systems, one of possible multiagent...
COMCOM
2007
13 years 10 months ago
2007
The paper presents an architecture of an anomaly detection system based on the paradigm of artificial immune systems (AISs). Incoming network traffic data are considered by the s...
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
WCET
2007
13 years 11 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...