1636 search results - page 152 / 328 » Type-Theoretic Functional Semantics |
114
click to vote
MABS
2004
Springer
15 years 9 months ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
127
Voted
AP2PC
2003
Springer
15 years 9 months ago
2003
Springer
Distributed Hashtables (DHTs) provide a scalable method of associating file-hashes with a particular location in a distributed network environment. Modifying DHTs directly to suppo...
133
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
116
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
150
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...