4693 search results - page 697 / 939 » Verifying Hybrid Systems |
156
Voted
FAST
2007
15 years 7 months ago
2007
This paper presents the design, implementation, and evaluation of CATS, a network storage service with strong accountability properties. A CATS server annotates read and write res...
159
click to vote
NSDI
2010
15 years 7 months ago
2010
PPLive is a popular P2P video system used daily by millions of people worldwide. Achieving this level of scalability depends on users making contributions to the system, but curre...
165
click to vote
DBSEC
2006
15 years 7 months ago
2006
Access control is a crucial concern to build secure IT systems and, more specifically, to protect the confidentiality of information. However, access control is necessary, but not ...
161
Voted
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
148
click to vote
IMAGING
2001
15 years 7 months ago
2001
The physical properties of color are usually described by their spectra, eigenvector expansions or low-dimensional descriptors such as RGB or CIE-Lab. In the first part of the pap...