1833 search results - page 274 / 367 » Mechanized Verification with Sharing |
150
click to vote
LAWEB
2007
IEEE
15 years 11 months ago
2007
IEEE
Online social media applications have exploded in popularity in the Web. In most of these applications, users interact with other users and create content that becomes available o...
139
Voted
MSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Scaling data storage is a significant concern in enterprise systems and Storage Area Networks (SANs) are deployed as a means to scale enterprise storage. SANs based on Fibre Chan...
171
Voted
PDP
2007
IEEE
15 years 11 months ago
2007
IEEE
—Grid computing is becoming more and more attractive for coordinating large-scale heterogeneous resource sharing and problem solving. Of particular interest for effective Grid co...
159
click to vote
SOCA
2007
IEEE
15 years 11 months ago
2007
IEEE
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or grou...
171
click to vote
WETICE
2007
IEEE
15 years 11 months ago
2007
IEEE
Skype is a popular peer-to-peer (P2P) voice over IP (VoIP) application evolving quickly since its launch in 2003. However, the ability to traverse network address translation (NAT...