8132 search results - page 1404 / 1627 » Dependability, Abstraction, and Programming |
173
click to vote
ASPDAC
2006
ACM
16 years 15 days ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
152
click to vote
INFOSCALE
2006
ACM
16 years 14 days ago
2006
ACM
Abstract— Comparing genetic sequences is a well-known problem in bioinformatics. Newly determined sequences are being compared to known sequences stored in databases in order to ...
208
click to vote
MOBICOM
2006
ACM
16 years 14 days ago
2006
ACM
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
151
click to vote
APSEC
2005
IEEE
16 years 4 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
166
click to vote
ICDE
2005
IEEE
16 years 3 days ago
2005
IEEE
Sybase's flagship database product, Adaptive Server Enterprise provides Native XML processing (NXS) support. In this paper we present our experience related to query processi...