Sciweavers

4493 search results - page 484 / 899
» A Knowledge Recommend System Based on User Model
Sort
View
JCS
2008
119views more  JCS 2008»
15 years 7 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
ASPLOS
2008
ACM
15 years 9 months ago
Merge: a programming model for heterogeneous multi-core systems
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
Michael D. Linderman, Jamison D. Collins, Hong Wan...
SIGMOD
1998
ACM
180views Database» more  SIGMOD 1998»
15 years 11 months ago
Integration of Heterogeneous Databases Without Common Domains Using Queries Based on Textual Similarity
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
William W. Cohen
LCN
2007
IEEE
16 years 1 months ago
Modeling and Performance Analysis of Telephony Gateway REgistration Protocol
Abstract—Telephony gateways are devices that interface between IP telephony networks and the PSTN. A telephony proxy or location server (LS) that attempts to connect a call for a...
Kushal Kumaran, Anirudha Sahoo
PIMRC
2008
IEEE
16 years 1 months ago
Information-theoretic implications of constrained cooperation in simple cellular models
—Recent information theoretic results on cooperation in cellular systems are reviewed, addressing both multicell processing (cooperation among base stations) and relaying (cooper...
Shlomo Shamai, Osvaldo Simeone, Oren Somekh, Amich...