10870 search results - page 2018 / 2174 » Model Checking Programs |
109
Voted
ECAIW
1994
Springer
15 years 5 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
130
click to vote
ICS
1993
Tsinghua U.
15 years 5 months ago
1993
Tsinghua U.
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...
138
click to vote
ISN
1994
Springer
15 years 5 months ago
1994
Springer
There is a common unjustified belief that OSI management technology, despite being very powerful, is difficult to implement because of the complexity of the underlying service/prot...
130
click to vote
NGITS
1993
Springer
15 years 5 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
124
click to vote
SAC
1994
ACM
15 years 5 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...