1756 search results - page 226 / 352 » Current Directions in Hyper-Programming |
153
click to vote
AIPS
2008
15 years 6 months ago
2008
Many current heuristics for domain-independent planning, such as Bonet and Geffner's additive heuristic and Hoffmann and Nebel's FF heuristic, are based on delete relaxa...
118
click to vote
NSDI
2008
15 years 6 months ago
2008
While the web provides information and services that enrich our lives in many ways, it has also become the primary vehicle for delivering malware. Once infected with web-based mal...
154
click to vote
ACMICEC
2008
ACM
15 years 6 months ago
2008
ACM
The goal of IT governance is not only to achieve internal efficiency in an IT organization, but also to support IT's role as a business enabler. The latter is here denoted IT...
122
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
156
click to vote
CONEXT
2005
ACM
15 years 6 months ago
2005
ACM
— The separation of intradomain and interdomain routing has been a key feature of the Internet’s routing architecture from the early days of the ARPAnet. However, the appropria...