395 search results - page 14 / 79 » Monitoring Architectural Properties in Dynamic Component-Bas... |
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...
205
click to vote
CASCON
2010
14 years 9 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...
ICSEA
2006
IEEE
15 years 6 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
116
Voted
EAGC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...