1156 search results - page 184 / 232 » Compositional Methods for Information-Hiding |
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
XML databases often contain documents comprising structured text. Therefore, it is important to integrate "information retrieval style" query evaluation, which is well-s...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
The skyline operator was first proposed in 2001 for retrieving interesting tuples from a dataset. Since then, 100+ skyline-related papers have been published; however, we discove...
COSIT
2009
Springer
14 years 2 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...