8177 search results - page 1378 / 1636 » Detecting System Emulators |
179
click to vote
MICRO
2007
IEEE
16 years 25 days ago
2007
IEEE
Transactional Memory (TM) systems must track the read and write sets—items read and written during a transaction—to detect conflicts among concurrent transactions. Several TM...
167
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
142
click to vote
ICFEM
2007
Springer
16 years 22 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
220
click to vote
LOCA
2007
Springer
16 years 21 days ago
2007
Springer
In this paper we present an approach to analyzing the social behaviors that occur in a typical office space. We describe a system consisting of over 200 motion sensors connected ...
219
click to vote
WLP
2007
Springer
16 years 20 days ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...