2570 search results - page 339 / 514 » Constructing a web information system development methodolog... |
142
click to vote
IPTPS
2003
Springer
15 years 10 months ago
2003
Springer
In a peer-to-peer file-sharing system, a client desiring a particular file must choose a source from which to download. The problem of selecting a good data source is difficult...
151
Voted
ISER
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
169
click to vote
SOFSEM
2012
Springer
14 years 20 days ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
186
click to vote
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
Linked Data (LD) provides principles for publishing data that underpin the development of an emerging web of data. LD follows the web in providing low barriers to entry: publisher...
181
click to vote
DMDW
2003
15 years 6 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...