8177 search results - page 1025 / 1636 » Detecting System Emulators |
317
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
181
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
207
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
Wireless distributed sensor networks (DSNs) are important for a number of strategic applications such as coordinated target detection, surveillance, and localization. Energy is a ...
189
click to vote
AOSD
2010
ACM
16 years 2 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
176
click to vote
PERVASIVE
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. There are endless possibilities for the next generation of mobile social applications that automatically determine your social context. A key element of such applications...