796 search results - page 153 / 160 » A Formalization of ODMG Queries |
ATVA
2007
Springer
14 years 5 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
ESWS
2007
Springer
14 years 5 months ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...
IPSN
2007
Springer
14 years 5 months ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...
SKG
2006
IEEE
14 years 4 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
CCS
2005
ACM
14 years 4 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...