Sciweavers

6808 search results - page 612 / 1362
» Distributed Concurrency Control
Sort
View
IAT
2003
IEEE
16 years 15 days ago
Discovery of Emergent Natural Laws by Hierarchical Multi-Agent Systems
This paper defines an approach to simulation of natural systems, inspired by complex systems theory. A complex natural system is modeled as a multi-agent simulation system, agents...
Henk Stolk, Kevin Gates, Jim Hanan
ICDCSW
2003
IEEE
16 years 15 days ago
Broadcast Data Organizations and Client Side Cache
Broadcasting provides an e cient means for disseminating information in both wired and wireless setting. In this paper, we study di erent client side cache organizations for vario...
Oleg Shigiltchoff, Panos K. Chrysanthis, Evaggelia...
ISPDC
2003
IEEE
16 years 14 days ago
Role Activity Diagrams as Finite State Processes
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
Costin Badica, Amelia Badica, Valentin Litoiu
EAGC
2003
Springer
16 years 13 days ago
A Grid Framework for Optimistic Resource Sharing
: Grids are gaining more importance in this era of Internet technology to maximize the use of resources such as hardware and software infrastructure. The grid provides a platform t...
Norlaily Yaacob, Rahat Iqbal
PPDP
2001
Springer
15 years 11 months ago
Trust in the Pi-Calculus
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
Mark Hepburn, David Wright