Sciweavers

2123 search results - page 97 / 425
» Composition of Cyber-Physical Systems
Sort
View
CLEIEJ
2010
15 years 1 months ago
Empirical Validation of Component-based Software Systems Generation and Evaluation Approaches
Component-based software development needs to formalize a process of generation, evaluation and selection of Composite COTS-based Software Systems (CCSS), enabling software archit...
Victor Sagredo, Carlos Becerra, Gonzalo Valdes
SRDS
2003
IEEE
15 years 9 months ago
Appia vs. Cactus: Comparing Protocol Composition Frameworks
The paper presents and compares Appia and Cactus, two frameworks for protocol composition. The comparison is based on the experience gained in implementing a faulttolerant Atomic ...
Sergio Mena, Xavier Cuvellier, Christophe Gr&eacut...
125
Voted
AAAI
2006
15 years 5 months ago
A Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Michael W. Hofbaur, Franz Wotawa
ICC
2009
IEEE
15 years 2 months ago
Interference and Deployment Issues for Cognitive Radio Systems in Shadowing Environments
In this paper we describe a model for calculating the aggregate interference encountered by primary receivers in the presence of randomly placed cognitive radios (CRs). We show tha...
Muhammad Fainan Hanif, Mansoor Shafi, Peter J. Smi...
ICSE
2003
IEEE-ACM
16 years 4 months ago
A Compositional Formalization of Connector Wrappers
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
Bridget Spitznagel, David Garlan