675 search results - page 61 / 135 » dlib C Library |
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
Most BDI agent architectures rely on plan libraries in order to ensure bounded time for means-ends reasoning. Nevertheless, the usage of fast planning algorithms to provide the ag...
SAMOS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
GCSE
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Class hierarchies, though theoretically reusable, have generally not seen much practical reuse in applications, due in part to the inflexibility of the inheritance relat...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
A new approach is proposed to generate workflow scenarios of scientific applications such as Molecular Dynamics and Monte-Carlo simulations in a distributed environment. The approa...