3358 search results - page 597 / 672 » Dynamic Description Logics |
222
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
118
Voted
PODS
2002
ACM
16 years 28 days ago
2002
ACM
Data Warehousing and OLAPapplications typically view data as having multiple logical dimensions e.g., product, location with natural hierarchies de ned on each dimension. OLAP que...
96
Voted
PODS
2008
ACM
16 years 28 days ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
108
click to vote
ICSE
2008
IEEE-ACM
16 years 26 days ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
90
Voted
PERCOM
2006
ACM
16 years 12 days ago
2006
ACM
Pervasive systems are complex distributed systems containing heterogeneous and mobile devices, services and applications. Policy-based management is an effective approach for mana...