2836 search results - page 204 / 568 » Model Checking for Software Architectures |
132
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
121
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of sophisticated...
145
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
134
click to vote
TOCS
2008
15 years 4 months ago
2008
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
145
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...