1724 search results - page 283 / 345 » Concurrency in the Data Warehouse |
167
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
183
click to vote
KDD
2010
ACM
15 years 4 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
198
click to vote
SIGCOMM
2012
ACM
13 years 8 months ago
2012
ACM
Unlike their cellular counterparts, Wi-Fi networks do not have the luxury of a dedicated control plane that is decoupled from the data plane. Consequently, Wi-Fi struggles to prov...
167
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
Object detection and segmentation can be facilitated by the availability of a reference object. However, accounting for possible transformations between the different object views...
283
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
Handling streams of positional updates from numerous moving objects has become a challenging task for many monitoring applications. Several algorithms have been recently proposed ...