5339 search results - page 859 / 1068 » Controllable Delay-Insensitive Processes |
173
click to vote
MODELS
2007
Springer
15 years 12 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
123
click to vote
MODELS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...
175
click to vote
RAID
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
146
click to vote
RE
2007
Springer
15 years 12 months ago
2007
Springer
Small companies form a large part of the software industry, but have mostly been overlooked by the requirements engineering research community. We know very little about the techn...
139
click to vote
SSS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. In this paper, we mix two well-known approaches of the fault-tolerance: robustness and stabilization. Robustness is the aptitude of an algorithm to withstand permanent fa...