Sciweavers

1595 search results - page 162 / 319
» Illustrative Parallel Coordinates
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
Implementing Replica Placements: Feasibility and Cost Minimization
Given two replication schemes old X and new X , the Replica Transfer Scheduling Problem (RTSP) aims at reaching new X , starting from old X , with minimal implementation cost. In ...
Thanasis Loukopoulos, Nikos Tziritas, Petros Lamps...
IPPS
2007
IEEE
16 years 1 months ago
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
Peter Csaba Ölveczky, Martin Grimeland
IPPS
2007
IEEE
16 years 1 months ago
Identifying and Addressing Uncertainty in Architecture-Level Software Reliability Modeling
Assessing reliability at early stages of software development, such as at the level of software architecture, is desirable and can provide a cost-effective way of improving a soft...
Leslie Cheung, Leana Golubchik, Nenad Medvidovic, ...
IPPS
2007
IEEE
16 years 1 months ago
A Model for Large Scale Self-Stabilization
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
Thomas Hérault, Pierre Lemarinier, Olivier ...
GRID
2007
Springer
16 years 1 months ago
Pluggable grid services
— This paper introduces a new concept of pluggable grid service, that provides seamless access to computational grids, based on aspect-oriented techniques. Pluggable grid service...
João Luís Sobral