Sciweavers

3307 search results - page 595 / 662
» The meaning of concurrent programs
Sort
View
ICCSA
2007
Springer
15 years 8 months ago
Component Specification for Parallel Coupling Infrastructure
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
Jay Walter Larson, Boyana Norris
ASWEC
2004
IEEE
15 years 8 months ago
Knowledge Management in Software Engineering - Describing the Process
The management of knowledge and experience are key means by which systematic software development and process improvement occur. Within the domain of Software Engineering (SE), qu...
James Ward, Aybüke Aurum
APPROX
2006
Springer
120views Algorithms» more  APPROX 2006»
15 years 8 months ago
Single-Source Stochastic Routing
Abstract. We introduce and study the following model for routing uncertain demands through a network. We are given a capacitated multicommodity flow network with a single source an...
Shuchi Chawla, Tim Roughgarden
FLOPS
2004
Springer
15 years 8 months ago
Analysing Definitional Trees: Looking for Determinism
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
Pascual Julián Iranzo, Christian Villamizar...
E4MAS
2006
Springer
15 years 8 months ago
Establishing Global Properties of Multi-Agent Systems Via Local Laws
Abstract. This paper is part of a long term research program on multiagent systems (MASs), based on the proposition that the interactions among the members of a large and heterogen...
Wenxuan Zhang, Constantin Serban, Naftaly H. Minsk...