15644 search results - page 378 / 3129 » Brittle System Analysis |
170
Voted
ICDCS
2005
IEEE
16 years 14 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
225
click to vote
PRDC
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
203
click to vote
SEW
2005
IEEE
16 years 13 days ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
202
click to vote
IBPRIA
2005
Springer
16 years 11 days ago
2005
Springer
Computer Vision can provide a great deal of assistance to Intelligent Vehicles. In this paper an Advanced Driver Assistance Systems for Vehicle Detection is presented. A geometric ...
155
click to vote
RTAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an experimental study of the latency behavior of the Linux OS. We identify major sources of latency in the kernel with the goal of providing real-time performa...