Sciweavers

2432 search results - page 112 / 487
» Using simple abstraction to reinvent computing for paralleli...
Sort
View
COORDINATION
2005
Springer
15 years 3 months ago
Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision
Abstract. There are many ways of achieving scalable dynamic web content. In previous work we have focused on dynamic content degradation using a standard architecture and a design-...
Lindsay Bradford, Stephen Milliner, Marlon Dumas
EUROPAR
2001
Springer
15 years 2 months ago
Use of Agent-Based Service Discovery for Resource Management in Metacomputing Environment
A new methodology is presented in this paper for resource management in a metacomputing environment using a hierarchy of homogeneous agents that has the capability of service disco...
Junwei Cao, Darren J. Kerbyson, Graham R. Nudd
CONCUR
2010
Springer
14 years 11 months ago
Information Flow in Interactive Systems
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
Mário S. Alvim, Miguel E. Andrés, Ca...
PPSN
2010
Springer
14 years 8 months ago
Fixed Parameter Evolutionary Algorithms and Maximum Leaf Spanning Trees: A Matter of Mutation
Abstract. Evolutionary algorithms have been shown to be very successful for a wide range of NP-hard combinatorial optimization problems. We investigate the NP-hard problem of compu...
Stefan Kratsch, Per Kristian Lehre, Frank Neumann,...
CONCUR
2010
Springer
14 years 8 months ago
On the Use of Non-deterministic Automata for Presburger Arithmetic
Abstract. A well-known decision procedure for Presburger arithmetic uses deterministic finite-state automata. While the complexity of the decision procedure for Presburger arithme...
Antoine Durand-Gasselin, Peter Habermehl