1134 search results - page 175 / 227 » On Scalability and Modularisation in the Modelling of Networ... |
MOBICOM
2005
ACM
14 years 1 months ago
2005
ACM
People often seek information by asking other people even when they have access to vast reservoirs of information such as the Internet and libraries. This is because people are gr...
HYBRID
2010
Springer
14 years 22 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
WORM
2003
13 years 9 months ago
2003
Fast Internet worms are a relatively new threat to Internet infrastructure and hosts. We discuss motivation and possibilities to study the behaviour of such worms and degrees of f...
CSE
2011
IEEE
12 years 7 months ago
2011
IEEE
— In network based applications, packet capture is the main area that attracts many researchers in developing traffic monitoring systems. Along with the packet capture, many othe...
IDTRUST
2009
ACM
14 years 2 months ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...