927 search results - page 75 / 186 » Practical Limits on Software Dependability: A Case Study |
195
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
175
click to vote
TON
2010
15 years 16 days ago
2010
Distributed opportunistic scheduling (DOS) is studied for wireless ad-hoc networks in which many links contend for the channel using random access before data transmissions. Simpl...
129
click to vote
IEE
2008
15 years 5 months ago
2008
: Modularity is one of the most important principles in software engineering and a necessity for every practical software. Since the design space of software is generally quite lar...
172
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
174
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...