169 search results - page 4 / 34 » From Operating-System Correctness to Pervasively Verified Ap... |
EUROPAR
2003
Springer
14 years 3 months ago
2003
Springer
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
SIGOPSE
2000
ACM
14 years 3 months ago
2000
ACM
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while...
USS
2008
14 years 1 months ago
2008
We introduce Scantegrity II, a practical enhancement for optical scan voting systems that achieves increased election integrity through the novel use of confirmation codes printed...
JCS
2002
13 years 10 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
HUC
2009
Springer
14 years 3 months ago
2009
Springer
Detecting visits to semantically meaningful places is important for many emerging mobile applications. We present PlaceSense, a place discovery algorithm suitable for mobile devic...