3045 search results - page 276 / 609 » Formal Approaches to Software Architecture |
171
click to vote
ISORC
2005
IEEE
16 years 8 days ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
225
click to vote
SELMAS
2005
Springer
16 years 4 days ago
2005
Springer
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...
231
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
194
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
215
click to vote
EUROMICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...