2451 search results - page 306 / 491 » The Octagon Abstract Domain |
126
click to vote
SOCA
2007
IEEE
15 years 11 months ago
2007
IEEE
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
153
click to vote
WISE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
129
click to vote
HOLOMAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
163
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
132
Voted
ICTCS
2007
Springer
15 years 10 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...