Sciweavers

6540 search results - page 1139 / 1308
» Data Stream Sharing
Sort
View
BIRTHDAY
2007
Springer
15 years 11 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
173
Voted
CALCO
2007
Springer
202views Mathematics» more  CALCO 2007»
15 years 11 months ago
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
Neal A. Harman
CCS
2007
ACM
15 years 11 months ago
Provably secure ciphertext policy ABE
In ciphertext policy attribute-based encryption (CP-ABE), every secret key is associated with a set of attributes, and every ciphertext is associated with an access structure on a...
Ling Cheung, Calvin C. Newport
142
Voted
DEXA
2007
Springer
135views Database» more  DEXA 2007»
15 years 11 months ago
Semantic Grouping of Social Networks in P2P Database Settings
Abstract. Sharing of structured data in decentralized environments is a challenging problem, especially in the absence of a global schema. Social network structures map network lin...
Verena Kantere, Dimitrios Tsoumakos, Timos K. Sell...
ER
2007
Springer
123views Database» more  ER 2007»
15 years 11 months ago
Enriching OWL with Instance Recognition Semantics for Automated Semantic Annotation
Although OWL provides a solid basis for many semantic-web applications, it lacks sufficient declarative semantics for instance recognition. This omission prevents OWL from being a ...
Yihong Ding, David W. Embley, Stephen W. Liddle
« Prev « First page 1139 / 1308 Last » Next »