1833 search results - page 58 / 367 » Mechanized Verification with Sharing |
99
Voted
SIGMOD
1995
ACM
15 years 4 months ago
1995
ACM
In a digital library system, documents are available in digital form and therefore are more easily copied and their copyrights are more easily violated. This is a very serious pro...
119
Voted
JWSR
2008
15 years 19 days ago
2008
: Ensuring composite services reliability is a challenging problem. Indeed, due to the inherent autonomy and heterogeneity of Web services it is difficult to predict and reason abo...
84
Voted
JSAC
2006
15 years 19 days ago
2006
Abstract-- Node compromise is a serious threat to wireless sensor networks deployed in unattended and hostile environments. To mitigate the impact of compromised nodes, we propose ...
131
Voted
IPCCC
2006
IEEE
15 years 6 months ago
2006
IEEE
– Wireless Mesh networks exploit multi-hop wireless communications between Access Points to replace wired infrastructure. However, in multi-hop networks, effective bandwidth decr...
ISCA
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper examines the area, power, performance, and design issues for the on-chip interconnects on a chip multiprocessor, attempting to present a comprehensive view of a class o...