1615 search results - page 241 / 323 » Distributed Forward Checking |
117
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
167
Voted
OOPSLA
2010
Springer
15 years 6 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
102
Voted
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
— In this paper, we present a high-level power model to estimate the power consumption in semi-global and global interconnects. Such interconnects are used for communications bet...
130
click to vote
SKG
2006
IEEE
15 years 8 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 ...
133
click to vote
WIDM
2006
ACM
15 years 8 months ago
2006
ACM
The huge amount of data available from Internet information sources has focused much attention on the sharing of distributed information through Peer Data Management Systems (PDMS...