3819 search results - page 411 / 764 » Simple Easy Terms |
154
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
In an agent-based system, where different agents form dynamic associations for the purposes of collaborative processing, agents must be able to locate other agents that can provi...
211
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
157
click to vote
EDOC
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
186
click to vote
WDAG
1994
Springer
15 years 11 months ago
1994
Springer
This paper investigates how vector time can be used to set breakpoints in distributed computations for the purpose of analyzing and debugging distributed programs. A breakpoint is ...
147
click to vote
ICLP
1990
Springer
15 years 10 months ago
1990
Springer
Definite Clause Grammars (DCGs) have proved valuable to computational linguists since they can be used to specify phrase structured grammars. It is well known how to encode DCGs i...