3573 search results - page 397 / 715 » Reasoning about Codata |
190
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
142
click to vote
GLOBECOM
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
140
click to vote
ICDE
2007
IEEE
16 years 29 days ago
2007
IEEE
Information dissemination in electronic form has improved drastically over the past few years. New technologies in web feeds allow the uses to get notified automatically when new...
160
click to vote
ICDM
2007
IEEE
16 years 29 days ago
2007
IEEE
Using mobile devices, such as smart phones, people may create and distribute different types of digital content (e.g., photos, videos). One of the problems is that digital content...
168
click to vote
MUE
2007
IEEE
16 years 27 days ago
2007
IEEE
Swarm Intelligence (SI) inspired routing algorithms have become a research focus in recent years due to their self-organizing nature, which is very suitable to the routing problem...