678 search results - page 65 / 136 » Visualisation of Large and Complex Networks Using PolyPlane |
DSN
2004
IEEE
14 years 14 days ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
During the last few years there has been an increasing number of people-centric sensing projects, which combine location information with other sensors available on mobile devices,...
CONEXT
2008
ACM
13 years 10 months ago
2008
ACM
In peer-to-peer (P2P) systems, a receiver needs to be matched with multiple senders, because peers have limited capacity and reliability. Efficient peer matching can reduce the co...
BMCBI
2008
13 years 8 months ago
2008
Background: Genes interact with each other as basic building blocks of life, forming a complicated network. The relationship between groups of genes with different functions can b...
CONCURRENCY
2004
13 years 8 months ago
2004
The centralized system approach for computer and telecommunication network management has been presenting scalability problems along with the growth in the number and diversity of...