Sciweavers

5904 search results - page 547 / 1181
» Requirements for a Composition Language
Sort
View
ICALP
2007
Springer
15 years 11 months ago
Distributed Computing with Advice: Information Sensitivity of Graph Coloring
Abstract. We study the problem of the amount of information (advice) about a graph that must be given to its nodes in order to achieve fast distributed computations. The required s...
Pierre Fraigniaud, Cyril Gavoille, David Ilcinkas,...
CSL
2004
Springer
15 years 11 months ago
A Functional Scenario for Bytecode Verification of Resource Bounds
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
Roberto M. Amadio, Solange Coupet-Grimal, Silvano ...
ECOOP
2006
Springer
15 years 11 months ago
Evolution of an Adaptive Middleware Exploiting Architectural Reflection
: Nowadays information systems are required to adapt themselves dynamically to the ever changing environment and requirements. Architectural reflection represents a principled mean...
Francesca Arcelli Fontana, Claudia Raibulet
IFIP
2000
Springer
15 years 10 months ago
A New Approach to Software Integration Frameworks for Multi-physics Simulation Codes
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
Eric de Sturler, Jay Hoeflinger, Laxmikant V. Kal&...
ECIR
2007
Springer
15 years 8 months ago
A Parameterised Search System
This paper introduces the concept of a Parameterised Search System (PSS), which allows flexibility in user queries, and, more importantly, allows system engineers to easily defin...
Roberto Cornacchia, Arjen P. de Vries