2036 search results - page 275 / 408 » A generic type-and-effect system |
148
click to vote
LADC
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present NekoStat, an extension of the Neko tool. Neko is a Java framework and a communication platform that permits rapid prototyping of distributed applications; ...
153
Voted
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Overhearing is gaining attention as a generic method for cooperative monitoring of distributed, open, multiagent systems. It involves monitoring the routine conversations of agent...
191
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
177
Voted
HIPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper investigates the problem of autonomously allocating a large number of independent, equal sized tasks on a distributed heterogeneous grid-like platform, using o...
166
Voted
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...