3045 search results - page 275 / 609 » Formal Approaches to Software Architecture |
171
click to vote
COBUILD
1998
Springer
15 years 11 months ago
1998
Springer
We envision that the architectural space we inhabit will be a new form of interface between humans and online digital information. This paper discusses Ambient Displays: a new appr...
177
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
We present an approach for controlling access to data publishers in the framework of Web-based information services. The paper presents a model for enforcing access control regula...
149
click to vote
ENTCS
2007
15 years 6 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
168
click to vote
JOT
2010
15 years 5 months ago
2010
In component-based systems, fault-tolerance concerns are typically handled by manually programmed fault containers. The purpose of fault containers is to prevent error propagation...
205
click to vote
SCP
2010
15 years 1 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...