6202 search results - page 989 / 1241 » Without Loss of Generality |
178
click to vote
CAEPIA
2007
Springer
16 years 25 days ago
2007
Springer
Consider a robot whose task is to pick up some colored balls from a grid, taking the red balls to a red spot, the blue balls to a blue spot and so on, one by one, without knowing e...
167
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
152
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
This paper studies an active underground economy which specializes in the commoditization of activities such as credit card fraud, identity theft, spamming, phishing, online crede...
168
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
Malicious programs spy on users’ behavior and compromise their privacy. Even software from reputable vendors, such as Google Desktop and Sony DRM media player, may perform undes...
168
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
Materialized XPath access-control views are commonly used for enforcing access control. When access control rules defining a materialized XML access-control view change, the view...