606 search results - page 59 / 122 » Algebras and Update Strategies |
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper a novel job allocation scheme in distributed systems (TAG) is modelled using the Markovian process algebra PEPA. This scheme requires no prior knowledge of job size ...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
—We present a navigation function through which a group of mobile agents can be coordinated to achieve a particular formation, both in terms of shape and orientation, while avoid...
EPIA
1999
Springer
14 years 1 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
PPDP
1999
Springer
14 years 1 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
WADT
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...