2149 search results - page 165 / 430 » Form over Substance |
166
click to vote
ATAL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
157
click to vote
DIGITALCITIES
2000
Springer
15 years 10 months ago
2000
Springer
The purpose of this study is to apply digital city concept for the development of a pictogram system for natural disaster reduction. Long lasting and tangible achievement of IDNDR ...
180
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
There is an increasing need for Internet hosts to be able to quickly and efficiently learn the distance, in terms of metrics such as latency or bandwidth, between Internet hosts. ...
174
click to vote
VLDB
1999
ACM
15 years 10 months ago
1999
ACM
We present a pipelining, dynamically usercontrollable reorder operator, for use in dataintensive applications. Allowing the user to reorder the data delivery on the fly increases...
172
click to vote
NDSS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a new password authentication and key-exchange protocol suitable for authenticating users and exchanging keys over an untrusted network. The new protocol resis...