1833 search results - page 276 / 367 » Mechanized Verification with Sharing |
131
Voted
WWIC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The explosive growth of VoIP tra c poses a potential challenge to the stability of the Internet that, up to now, has been guaranteed by the TCP congestion control. In thi...
172
Voted
ICNP
2006
IEEE
15 years 10 months ago
2006
IEEE
— Peer-to-peer (P2P) systems have been widely used for exchange of voluminous information and resources among thousands or even millions of users. Since shared data are normally ...
166
click to vote
ICWMC
2006
IEEE
15 years 10 months ago
2006
IEEE
Although directional antennas have been used in mobile communications systems for quite a long time, realistic applications of directional or smart antennas in wireless ad hoc net...
146
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...
141
click to vote
SAINT
2006
IEEE
15 years 10 months ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...