281 search results - page 45 / 57 » Querying the Guarded Fragment |
NETWORK
2008
14 years 10 months ago
2008
Consider a scenario where Jane is at an airport. She wants to find a restaurant with healthy food and short waiting time on the way to her terminal. The airport can provide such s...
ICWE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...
71
Voted
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Data outsourcing is an emerging paradigm that allows users and companies to give their (potentially sensitive) data to external servers that then become responsible for their stor...
83
Voted
ADC
2008
Springer
15 years 5 days ago
2008
Springer
As the XML has become a standard for data representation, it is inevitable to propose and implement techniques for efficient managing of XML data. A natural alternative is to expl...