Sciweavers

10733 search results - page 336 / 2147
» Distributed XML design
Sort
View
129
Voted
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 6 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson
MASCOTS
1998
15 years 6 months ago
IDES: A Java-based Distributed Simulation Engine
This paper describes the design and performance of IDES, a Java-based distributed simulation engine being developed at Sandia National Laboratories. The feasability of using Java ...
David M. Nicol, Michael M. Johnson, Ann S. Yoshimu...
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 5 months ago
A Multi-agent Framework for Performance Tuning in Distributed Environment
: This paper presents the overall design of a multi-agent framework for improving the performance of an application executing in a distributed environment. The multi-agent framewor...
Sarbani Roy, Saikat Halder, Nandini Mukherjee
224
Voted
POPL
2005
ACM
16 years 5 months ago
A probabilistic language based upon sampling functions
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
Sungwoo Park, Frank Pfenning, Sebastian Thrun
MSO
2003
15 years 6 months ago
A Meta-Model based Approach for the Combination of Models in Multiple Languages
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
Eckhardt Holz