2813 search results - page 360 / 563 » Formalizing Architectural Connection |
144
click to vote
MSR
2006
ACM
16 years 15 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
181
click to vote
SACMAT
2006
ACM
16 years 15 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
175
click to vote
AINA
2005
IEEE
16 years 5 days ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
138
click to vote
ECBS
2005
IEEE
16 years 5 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
169
click to vote
IEEESCC
2005
IEEE
16 years 4 days ago
2005
IEEE
Currently, Grid technologies are widely used in largescale scientific applications. Grids support stateful interactions with explicit exposure of state information across the boun...