Sciweavers

1245 search results - page 70 / 249
» Semantic Based Access over XML Data
Sort
View
SBMF
2010
Springer
149views Formal Methods» more  SBMF 2010»
14 years 4 months ago
Reasoning about Assignments in Recursive Data Structures
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
Alejandro Tamalet, Ken Madlener
CSFW
2003
IEEE
15 years 3 months ago
Understanding SPKI/SDSI Using First-Order Logic
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
Ninghui Li, John C. Mitchell
ICCS
2005
Springer
15 years 3 months ago
Scalable Hybrid Search on Distributed Databases
We have previously described a hybrid keyword search that combines metadata search with a traditional keyword search over unstructured context data. This hybrid search paradigm pro...
Jungkee Kim, Geoffrey Fox
IWCMC
2006
ACM
15 years 3 months ago
A joint technical and micro-economic investigation of pricing data services over wireless LANs
In this paper, we analyze a wireless LAN hot-spot, based on the IEEE 802.11b protocol, and more specifically we address the issue of defining proper pricing strategies, from bot...
Leonardo Badia, Federico Rodaro, Michele Zorzi
SKG
2005
IEEE
15 years 3 months ago
Improving Searching Performance Based on Semantic Correlativity in Peer to Peer Network
Most existing Peer-to-peer (P2P) systems support only title-based searches, which can not satisfy the content searches. In this paper, we proposed a semantic correlativity model wh...
Zhichao Li, Pilian He, Feng Li, Ming Lei