474 search results - page 47 / 95 » Assurance Based Development of Critical Systems |
118
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...
146
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
As process technology continues to scale into the nanoscale regime, interconnect plays an ever increasing role in determining VLSI system performance. As the complexity of these sy...
139
click to vote
PUC
2006
15 years 5 months ago
2006
The requirement for spontaneous interaction in ubiquitous computing creates security issues over and above those present in other areas of computing, deeming traditional approaches...
149
click to vote
ECBS
2006
IEEE
15 years 11 months ago
2006
IEEE
Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead u...
145
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...