10159 search results - page 1987 / 2032 » System Design Validation Using Formal Models |
120
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
The basic idea behind cloud computing is that resource providers offer elastic resources to end users. In this paper, we intend to answer one key question to the success of cloud c...
131
Voted
VLDB
2012
ACM
13 years 9 months ago
2012
ACM
In the last decade, spatio-temporal database research focuses on the design of effective and efficient indexing structures in support of location-based queries such as predictive...
142
Voted
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
In this paper, we present a vision system for object recognition in aerial images, which enables broader mission profiles for Micro Air Vehicles (MAVs). The most important factors ...
206
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Column-oriented database systems [19, 23] perform better than traditional row-oriented database systems on analytical workloads such as those found in decision support and busines...
114
Voted
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...