2473 search results - page 262 / 495 » The Logic of Communication Graphs |
162
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper discusses ways of navigating online contact networks - networks of social connections defined under a relational context - on a way that can provide much more meani...
166
click to vote
ICLP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
199
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
179
click to vote
APN
2004
Springer
16 years 2 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
165
click to vote
ESORICS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...