16596 search results - page 3096 / 3320 » Generalized Assignment Problems |
175
click to vote
CADE
2007
Springer
16 years 18 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
164
click to vote
CAV
2007
Springer
16 years 18 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 ...
178
click to vote
CCS
2007
ACM
16 years 18 days ago
2007
ACM
Intrusion detection is a critical component of secure information systems. Network anomaly detection has been an active and difficult research topic in the field of Intrusion Dete...
164
click to vote
CCS
2007
ACM
16 years 18 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...
165
click to vote
CCS
2007
ACM
16 years 18 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...