2162 search results - page 187 / 433 » A Meta-Notation for Protocol Analysis |
165
click to vote
INFOVIS
1998
IEEE
15 years 10 months ago
1998
IEEE
Geographic Visualization, sometimes called cartographic visualization, is a form of information visualization in which principles from cartography, geographic information systems ...
146
click to vote
SAS
2000
Springer
15 years 9 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
183
click to vote
ISCAPDCS
2003
15 years 7 months ago
2003
Despite the widespread deployment of client/server technology, there seem to be no tools currently available that are adequate for analyzing and tuning the performance of client/s...
134
click to vote
IPCCC
2007
IEEE
16 years 9 days ago
2007
IEEE
In a MANET network where nodes move frequently, the probability of connectivity loss between nodes might be high, and communication sessions may easily loose connectivity during t...
135
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
IP networks fundamentally rely on the Address Resolution Protocol (ARP) for proper operation. Unfortunately, vulnerabilities in the ARP protocol enable a raft of IP-based imperson...