Sciweavers

1278 search results - page 30 / 256
» Software Engineering for Scalable Distributed Applications
Sort
View
CCGRID
2001
IEEE
15 years 6 months ago
A DSM Cluster Architecture Supporting Aggressive Computation in Active Networks
Active networks allow computations to be performed innetwork at routers as messages pass through them. Active networks offer unique opportunities to optimize networkcentric applic...
Peter C. J. Graham
147
Voted
CCGRID
2001
IEEE
15 years 6 months ago
Software Environments For Cluster-Based Display Systems
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...
Han Chen, Douglas W. Clark, Zhiyan Liu, Grant Wall...
112
Voted
VSTTE
2005
Springer
15 years 8 months ago
An Overview of Separation Logic
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
John C. Reynolds
FECS
2006
101views Education» more  FECS 2006»
15 years 3 months ago
Providing Application Services for Small Businesses
- Many small businesses require distributed information systems but do not have the resources to develop, host or maintain them. An alternative approach may be to offer the softwar...
Carol Lushbough
115
Voted
COMPSAC
1998
IEEE
15 years 6 months ago
The Impact of the Coordination Model in the Design of Mobile Agent Applications
The paper introduces a taxonomy of the possible coordination models for mobile agent applications and evaluates their impact in the design of a widely distributed application in t...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli