Sciweavers

3868 search results - page 536 / 774
» A Distributed Parallel Programming Framework
Sort
View
CONCUR
2004
Springer
16 years 1 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 1 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 1 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 ...
ISPA
2004
Springer
16 years 14 hour 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
ICDCSW
2003
IEEE
15 years 12 months ago
Middleware and Application Adaptation Requirements and Their Support in Pervasive Computing
Pervasive computing environments are characterized by an additional heterogeneity compared to existing computing infrastructures. Devices ranging from small embedded systems to fu...
Christian Becker, Gregor Schiele