1833 search results - page 314 / 367 » Mechanized Verification with Sharing |
142
click to vote
OTM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this experience report, we present an evaluation of different techniques to manage concurrency in the context of application servers. Traditionally, using entity beans...
142
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
The Web allows users to share their work very effectively leading to the rapid re-use and remixing of content on the Web including text, images, and videos. Scientific research d...
124
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
— To share and exchange the files among Internet users, Peerto-Peer (P2P) applications build another layer of overlay networks on top of the Internet Infrastructure. In P2P fil...
131
Voted
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
Traditional coherence protocols present a set of difficult tradeoffs: the reliance of snoopy protocols on broadcast and ordered interconnects limits their scalability, while dire...
142
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
In a wireless LAN environment, clients tend to associate with the nearest access point (AP) which usually provides the strongest signal. However, this does not guarantee that user...