2114 search results - page 247 / 423 » Practical Approaches for Software Adaptation |
153
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
157
click to vote
SACMAT
2006
ACM
15 years 11 months 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...
120
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...
130
Voted
ISORC
2003
IEEE
15 years 10 months ago
2003
IEEE
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
168
click to vote
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
In this paper, we survey the models and approaches applied to the middleware services of pervasive computing environments. Architectural styles and patterns introduced in the doma...