11740 search results - page 154 / 2348 » More Problems in Rewriting |
217
click to vote
ICDE
2005
IEEE
16 years 2 months ago
2005
IEEE
Data warehousing and on-line analytical processing (OLAP) are essential for decision support applications. Common OLAP operations include for example drill down, roll up, pivot an...
162
click to vote
ESORICS
2009
Springer
16 years 1 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 ...
197
click to vote
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
The database community is on a constant quest for better integration of data management and knowledge management. Recently, with the increasing use of ontology in various applicat...
178
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Consider an XML view defined over a relational database, and a user query specified over this view. This user XML query is typically processed using the following steps: (a) our t...
102
click to vote
RTA
2009
Springer
15 years 7 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...