3623 search results - page 481 / 725 » Functionally Modeled User Interfaces |
163
click to vote
ERCIMDL
1997
Springer
15 years 8 months ago
1997
Springer
: A fully operational large scale digital library is likely to be based on a distributed architecture and because of this it is likely that a number of independent search engines m...
122
click to vote
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
: This paper describes a new algorithm for merging the results of remote collections in a distributed information retrieval environment. The algorithm makes use only of the ranks o...
142
Voted
FAC
2007
15 years 3 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
145
click to vote
WSC
1997
15 years 5 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
136
click to vote
SIGECOM
2006
ACM
15 years 10 months ago
2006
ACM
We consider a multicast game with selfish non-cooperative players. There is a special source node and each player is interested in connecting to the source by making a routing de...