8933 search results - page 176 / 1787 » Usability over time |
163
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
Undirected graphs are often used to describe high dimensional distributions. Under sparsity conditions, the graph can be estimated using 1 penalization methods. However, current m...
125
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Time synchronization is an important aspect of sensor network operation. However, it is well known that synchronization error accumulates over multiple hops. This presents a challe...
189
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
203
click to vote
CLOUDCOM
2009
Springer
16 years 1 months ago
2009
Springer
Current service-level agreements (SLAs) offered by cloud providers make guarantees about quality attributes such as availability. However, although one of the most important quali...
177
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
Data privacy laws have appeared recently, such as the HIPAA laws for protecting medical records, and the PCI guidelines for protecting Credit Card information. Data privacy can be...