882 search results - page 151 / 177 » A Taste of Rewrite Systems |
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
Relational database management systems are constantly being extended and augmented to accommodate data in different domains. Recently, with the increasing use of ontology in vario...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
As wireless networks proliferate, web browsers operate in an increasingly hostile network environment. The HTTPS protocol has the potential to protect web users from network attac...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we propose a new approach to automatically compose data providing Web services. Our approach exploits existing mature works done in data integration systems. Specif...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...