306 search results - page 54 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
144
Voted
ISW
2010
Springer
14 years 8 months ago
2010
Springer
Computer malwares (e.g., botnets, rootkits, spware) are one of the most serious threats to all computers and networks. Most malwares conduct their malicious actions via hijacking t...
163
Voted
VLDB
2008
ACM
15 years 11 months ago
2008
ACM
Several variations of nearest neighbor (NN) query have been investigated by the database community. However, realworld applications often result in the formulation of new variatio...
CONCUR
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
78
Voted
OSDI
2008
ACM
15 years 11 months ago
2008
ACM
While modern workloads are increasingly interactive and resource-intensive (e.g., graphical user interfaces, browsers, and multimedia players), current operating systems have not ...
92
Voted
CSCW
2012
ACM
13 years 6 months ago
2012
ACM
Disconnection and reconnection are common problems for users of synchronous groupware, but these problems are not easy for developers to handle because of the wide range of scenar...