5561 search results - page 869 / 1113 » The Large-Display User Experience |
145
click to vote
PVM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize diļ¬erent aspects of high-performance computing or are intended to solve a speciļ¬...
147
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
P2P networks have become increasingly popular in the recent years. However, their open, distributed and anonymous nature makes them very vulnerable against malicious users who prov...
155
Voted
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
133
click to vote
STDBM
2004
Springer
15 years 10 months ago
2004
Springer
Application systems often need to react with certain actions whenever some preset conditions are satisļ¬ed. In many cases, the evaluation of these conditions takes long time, but...
115
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
The ObjectRank system applies authority-based ranking to keyword search in databases modeled as labeled graphs. Conceptually, authority originates at the nodes (objects) containin...