Sciweavers

7891 search results - page 1100 / 1579
» A Distributed Scheduling Framework
Sort
View
CONCUR
2004
Springer
16 years 13 days ago
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
Paolo Baldan, Andrea Corradini, Barbara König
GCC
2004
Springer
16 years 13 days ago
A Novel VO-Based Access Control Model for Grid
As an important aspect of grid security, access control model gets more and more attention. Entities in virtual organizations (VOs) must establish a dynamic, secure and cooperative...
Weizhong Qiang, Hai Jin, Xuanhua Shi, Deqing Zou
GCC
2004
Springer
16 years 13 days ago
Agent-Oriented Formal Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David ...
IFIP
2004
Springer
16 years 12 days ago
A Logic for Auditing Accountability in Decentralized Systems
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
Ricardo Corin, Sandro Etalle, J. I. den Hartog, Ga...
ISPA
2004
Springer
16 years 12 days ago
Performance Evaluation of a Grid Computing Architecture Using Realtime Network Monitoring
This paper integrates the concepts of realtime network monitoring and visualizations into a grid computing architecture on the Internet. We develop a Realtime Network Monitor(RNM) ...
Young-Sik Jeong, Cheng-Zhong Xu
« Prev « First page 1100 / 1579 Last » Next »