258 search results - page 35 / 52 » Proof Styles in Operational Semantics |
CCS
2003
ACM
14 years 24 days ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
ICDE
2009
IEEE
14 years 2 months ago
2009
IEEE
— A paramount challenge in probabilistic databases is the scalable computation of confidences of tuples in query results. This paper introduces an efficient secondary-storage o...
AIPS
2009
13 years 8 months ago
2009
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...
ESWS
2005
Springer
14 years 1 months ago
2005
Springer
Managing semantic heterogeneity is a complex task. One solution involves matching like terms to each other. We view Match as an operator that takes two graph-like structures (e.g....
EUROPAR
2003
Springer
14 years 23 days ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...