Sciweavers

3103 search results - page 155 / 621
» Locating Features in Distributed Systems
Sort
View
160
Voted
ICPADS
1997
IEEE
15 years 7 months ago
An Approach for Mobile Agent Security and Fault Tolerance using Distributed Transactions
Mobile agents are no longer a theoretical issue since different architectures for their realization have been proposed. With the increasing market of electronic commerce it become...
Hartmut Vogler, Thomas Kunkelmann, Marie-Luise Mos...
148
Voted
FMOODS
2007
15 years 5 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
SIGMOD
2005
ACM
141views Database» more  SIGMOD 2005»
16 years 3 months ago
XML database support for distributed execution of data-intensive scientific workflows
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
Shannon Hastings, Matheus Ribeiro, Stephen Langell...
133
Voted
TACS
2001
Springer
15 years 8 months ago
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
179
Voted
PDPTA
2003
15 years 5 months ago
DSMSim: A Distributed Shared Memory Simulator for Clusters of Symmetric Multi-Processors
Distributed shared memory systems have become popular as a means of utilizing clusters of computers for solving large applications. We have developed a high-performance DSM at Way...
Darshan Thaker, Vipin Chaudhary