Sciweavers

641 search results - page 70 / 129
» A Framework for Analyzing Configurations of Deployable Softw...
Sort
View
SIGSOFT
2007
ACM
14 years 8 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
AOSE
2005
Springer
14 years 1 months ago
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology
Changes and adaptations are always necessary after the deployment of a multiagent system (MAS), as well as of any other type of software systems. Some of these changes may be simpl...
Luca Cernuzzi, Franco Zambonelli
PDCAT
2007
Springer
14 years 1 months ago
Grid Unit: A Self-Managing Building Block for Grid System
—Grid system software is inherently complex, hard to build and maintain. In this paper, we propose a selfmanaging building block: Grid Unit, which facilitates constructing Grid s...
Jianfeng Zhan, Lei Wang, Ming Zou, Hui Wang, Shuan...
ICPP
2002
IEEE
14 years 20 days ago
A System for Monitoring and Management of Computational Grids
As organizations begin to deploy large computational grids, it has become apparent that systems for observation and control of the resources, services, and applications that make ...
Warren Smith
CCGRID
2006
IEEE
13 years 11 months ago
IPMI-based Efficient Notification Framework for Large Scale Cluster Computing
The demand for an efficient fault tolerance system has led to the development of complex monitoring infrastructure, which in turn has created an overwhelming task of data and even...
Chokchai Leangsuksun, Tirumala Rao, Anand Tikoteka...