2025 search results - page 94 / 405 » A Reliable Software Architecture for Complex Embedded System... |
136
click to vote
TSE
2011
14 years 11 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
130
click to vote
ISSRE
2007
IEEE
15 years 6 months ago
2007
IEEE
In any software project, developers need to be aware of existing dependencies and how they affect their system. We investigated the architecture and dependencies of Windows Server...
132
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
169
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
171
click to vote
APSCC
2008
IEEE
15 years 6 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...