2911 search results - page 409 / 583 » A Logic of Graph Constraints |
102
click to vote
ICLP
2007
Springer
15 years 7 months 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...
138
Voted
ACSAC
2005
IEEE
15 years 6 months 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...
104
Voted
APN
2004
Springer
15 years 6 months 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...
99
Voted
ESORICS
2004
Springer
15 years 6 months 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 ï¬...
96
Voted
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
We are concerned with the extraction of tables from exchange format representations of very diverse composite documents. We put forward a flexible representation scheme for comple...