5084 search results - page 776 / 1017 » Proving Possibility Properties |
156
click to vote
ICPADS
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract— Multimedia centric P2P must take into consideration the main characteristics and the complex relationships among multimedia objects. In this paper, we propose a cluster...
161
click to vote
INFOCOM
2005
IEEE
16 years 6 days ago
2005
IEEE
— Recent advances in Internet measurement tools have made it possible to locate bottleneck links that constrain the available bandwidth of Internet paths. In this paper, we provi...
189
click to vote
INFOCOM
2005
IEEE
16 years 6 days ago
2005
IEEE
— Numerous proposals exist for load balancing in peer-to-peer (p2p) networks. Some focus on namespace balancing, making the distance between nodes as uniform as possible. This te...
198
click to vote
INFOCOM
2005
IEEE
16 years 6 days ago
2005
IEEE
— In this paper, we consider the issue of localization in anisotropic sensor networks. Anisotropic networks are differentiated from isotropic networks in that they possess proper...
179
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...