169 search results - page 5 / 34 » From Operating-System Correctness to Pervasively Verified Ap... |
MOBIDE
2006
ACM
14 years 4 months ago
2006
ACM
Mobile and pervasive applications frequently rely on devices such as RFID antennas or sensors (light, temperature, motion) to provide them information about the physical world. Th...
CBSE
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
— Packet loss and end-to-end delay limit delay sensitive applications over the best effort packet switched networks such as the Internet. In our previous work, we have shown that...
CCS
2001
ACM
14 years 2 months ago
2001
ACM
We present a mathematical construct which provides a cryptographic protocol to verifiably shuffle a sequence of k modular integers, and discuss its application to secure, universa...
MIDDLEWARE
2004
Springer
14 years 4 months ago
2004
Springer
Security is an important concern in providing the infrastructure for the implementation of general purpose computational grids. However, most grid implementations focus their secu...