2036 search results - page 275 / 408 » A generic type-and-effect system |
84
Voted
LADC
2005
Springer
15 years 6 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; ...
99
Voted
ATAL
2004
Springer
15 years 6 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...
126
Voted
CAISE
2004
Springer
15 years 6 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 ...
110
click to vote
HIPC
2004
Springer
15 years 6 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...
104
click to vote
ICFEM
2004
Springer
15 years 6 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...