757 search results - page 64 / 152 » Composing Security-Aware Software |
128
click to vote
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
123
click to vote
SOCO
2010
Springer
15 years 7 months ago
2010
Springer
Aspect composition often involves advice interference and this is a crucial problem in aspect oriented programming. When multiple advices are woven at the same join point, the advi...
107
Voted
ICFEM
1997
Springer
15 years 7 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
146
Voted
ATC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
149
click to vote
CISSE
2008
Springer
15 years 5 months ago
2008
Springer
-- Networks composed of large number of nodes interacting in structured ways such as power grids, communication networks, social networks or market networks are critical port of th...