Sciweavers

13397 search results - page 52 / 2680
» From Static Distributed Systems to Dynamic Systems
Sort
View
ICEISSAM
2004
13 years 10 months ago
Design Measures for Distributed Information Systems: an Empirical Evaluation
Due to the different nature of the available dynamic interactions between components afforded by some middleware infrastructure, distributed information systems (DIS) behave differ...
Pablo Rossi, George Fernandez
FORMATS
2007
Springer
14 years 20 days ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
CEC
2005
IEEE
14 years 2 months ago
Hybrid evolutionary static scheduling for heterogeneous systems
Abstract- The complexity of the static scheduling problem on heterogeneous resources has motivated the development of low complexity heuristics such as list scheduling. However, th...
Cristina Boeres, Eyder Rios, Luiz Satoru Ochi
ACSAC
1999
IEEE
14 years 1 months ago
A Resource Access Decision Service for CORBA-Based Distributed Systems
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
Konstantin Beznosov, Yi Deng, Bob Blakley, C. Burt...
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
14 years 3 months ago
Safety Guarantees from Explicit Resource Management
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
David Aspinall, Patrick Maier, Ian Stark