4201 search results - page 525 / 841 » Our Users have Root! |
302
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
223
click to vote
DASFAA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Recently, we have proposed a novel method for the compression of time series based on mathematical models that explore dependencies between different time series. This r...
171
click to vote
IMC
2006
ACM
16 years 21 days ago
2006
ACM
The low price of commodity wireless LAN cards and access points (APs) has resulted in the rich proliferation of high density WLANs in enterprise, academic environments, and public ...
183
click to vote
GRID
2005
Springer
16 years 8 days ago
2005
Springer
— Jobs on the Grid require security credentials throughout their run for accessing secure Grid resources, such as GridFTP data repositories. However, delegating long-lived creden...
192
click to vote
VLDB
2004
ACM
16 years 2 days ago
2004
ACM
The widespread adoption of XML holds out the promise that document structure can be exploited to specify precise database queries. However, the user may have only a limited knowle...