11374 search results - page 41 / 2275 » A System Demonstration of ST-TCP |
JFP
2000
13 years 10 months ago
2000
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
LSSC
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We present an extension of an update technique for preconditioners for sequences of non-symmetric linear systems that was proposed in [5]. In addition, we describe an ide...
AOSE
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents modeling concepts and mechanisms of the Agent Modeling Language (AML) to model social aspects of multiagent systems. The modeling of structural, behavioral as w...
LANMR
2004
14 years 6 days ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
SLP
1997
14 years 5 days ago
1997
We demonstrate the bene ts of instruction-set simulation in the evaluation of a parallel programming system, Penny. The simulator is a reliable tool in exploring design alternativ...