1017 search results - page 36 / 204 » A General Model for Authenticated Data Structures |
213
click to vote
GIS
2003
ACM
16 years 3 months ago
2003
ACM
Advances in wireless communications, positioning technology, and other hardware technologies combine to enable a range of applications that use a mobile user's geo-spatial da...
129
click to vote
ICFEM
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
129
click to vote
IDEAL
2004
Springer
15 years 7 months ago
2004
Springer
Many time series exhibit dynamics over vastly different time scales. The standard way to capture this behavior is to assume that the slow dynamics are a “trend”, to de-trend t...
131
click to vote
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
In this work we try to bridge the gap often encountered by researchers who find themselves with few or no labeled examples from their desired target domain, yet still have access ...
136
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Wireless sensor nodes generally face serious limitations in terms of computational power, energy supply, and network bandwidth. Therefore, the implementation of effective and sec...