29147 search results - page 5404 / 5830 » System Modeling Resurrected |
212
click to vote
ERCIMDL
2004
Springer
16 years 7 days ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
159
click to vote
ESORICS
2004
Springer
16 years 7 days ago
2004
Springer
d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...
195
click to vote
EUROPAR
2004
Springer
16 years 7 days ago
2004
Springer
High scalability in Peer-to-Peer (P2P) systems has been achieved with the emergence of the networks based on Distributed Hash Table (DHT). Most of the DHTs can be regarded as expon...
220
click to vote
FASE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
185
click to vote
GRID
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we present the MASSIVE project that aims to use Grid technology to establish an enabling environment for distributed simulation and visualization of large-scale scie...