2813 search results - page 137 / 563 » Formalizing Architectural Connection |
125
click to vote
SOFTWARE
1998
15 years 4 months ago
1998
Object-oriented development is expected to provide many benefits, but observations of industrial practice show that there are many problems to overcome. This paper discusses two i...
179
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
112
click to vote
SIAMDM
2010
15 years 3 months ago
2010
We introduce notions of linear reduction and linear equivalence of bijections for the purposes of study bijections between Young tableaux. Originating in Theoretical Computer Scie...
155
click to vote
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architecture...
160
click to vote
ICFCA
2010
Springer
15 years 10 months ago
2010
Springer
A feature of Formal Concept Analysis is the use of the line diagram of the concept lattice to visualize a conceptual space. The line diagram is a specialized form of Hasse diagram ...