2813 search results - page 43 / 563 » Formalizing Architectural Connection |
122
Voted
ACIVS
2008
Springer
15 years 11 months ago
2008
Springer
The paper proposes a new parallel connected-component-tree construction algorithm based on line independent building and progressive merging of partial 1-D trees. Two parallelizati...
119
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
139
click to vote
MRCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
120
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
126
click to vote
EWSA
2005
Springer
15 years 10 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...