1581 search results - page 191 / 317 » Mechanizing Inductive Reasoning |
182
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
167
click to vote
ECWEB
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. In the service-oriented computing paradigm and the Web service architecture, the broker role is a key facilitator to leverage technical capabilities of loose coupling to ...
176
click to vote
NOMS
2008
IEEE
16 years 21 days ago
2008
IEEE
– Virtual Private Networks (VPNs) are a popular and cost-effective means to build wide-area corporate networks, since they provide bandwidth, privacy and security for a fraction ...
137
click to vote
ICCCN
2007
IEEE
16 years 19 days ago
2007
IEEE
— Despite the popularity of VoIP these days, this method of communication may present significant security challenges in terms of privacy and accounting. Authentication and messa...
159
click to vote
IEEEARES
2007
IEEE
16 years 19 days ago
2007
IEEE
Electronic markets, distributed peer-to-peer applications and other forms of online collaboration are all based on mutual trust, which enables transacting peers to overcome the un...