12774 search results - page 211 / 2555 » A Framework for Proof Systems |
150
click to vote
ICPP
2006
IEEE
16 years 19 days ago
2006
IEEE
Providing QoS guarantees to the applications in a multi-institutional Grid is a challenging task. Although advance reservations (ARs) can provide QoS guarantees for the applicatio...
144
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Business-to-Business (B2B) collaboration is becoming a pivotal way to bring today’s enterprises to success in the dynamically changing e-business environment. Though many busine...
148
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Countless challenges to preserving a user’s location privacy exist and have become more important than ever before with the proliferation of handheld devices and the pervasive...
198
click to vote
PPNA
2011
15 years 1 months ago
2011
The proliferation of novel wireless network technologies creates new opportunities for complex peerto-peer information dissemination systems. A key challenge that remains in this a...
186
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...