2468 search results - page 435 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
121
click to vote
MSCS
2010
15 years 1 months ago
2010
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
225
Voted
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
Radio Frequency Identification (RFID) applications are set to play an essential role in object tracking and supply chain management systems. In the near future, it is expected tha...
230
click to vote
MMM
2005
Springer
15 years 9 months ago
2005
Springer
The efficient management of complex objects has become an enabling technology for modern multimedia information systems as well as for many novel database applications. Unfortunat...
228
Voted
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
To deal with data uncertainty, existing probabilistic database systems augment tuples with attribute-level or tuple-level probability values, which are loaded into the database al...
116
Voted
DCC
2001
IEEE
16 years 2 months ago
2001
IEEE
We provide an overview of an architecture of today's Internet streaming media delivery networks and describe various problems that such systems pose with regard to video codin...