3885 search results - page 734 / 777 » Transformations for Write-All-with-Collision Model |
240
Voted
BTW
2005
Springer
16 years 29 days ago
2005
Springer
Abstract: Peer data management systems (PDMS) are the natural extension of integrated information systems. Conventionally, a single integrating system manages an integrated schema,...
191
click to vote
TCGOV
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. We describe a web-based system to support groups in elaborating participatory budgets. Rather than using physical meetings with voting mechanisms, we promote virtual meet...
199
Voted
VSTTE
2005
Springer
16 years 27 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
196
click to vote
SIGIR
2004
ACM
16 years 25 days ago
2004
ACM
Indexing and ranking are two key factors for efficient and effective XML information retrieval. Inappropriate indexing may result in false negatives and false positives, and impro...
209
Voted
SMA
2003
ACM
16 years 20 days ago
2003
ACM
Dimensional reduction is a simplification technique that eliminates one or more dimensions from a boundary value problem. It results in significant computational savings with mini...