506 search results - page 91 / 102 » Proving Properties about Lists Using Containers |
WWW
2002
ACM
15 years 10 months ago
2002
ACM
The Web graph is a giant social network whose properties have been measured and modeled extensively in recent years. Most such studies concentrate on the graph structure alone, an...
178
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
101
click to vote
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
JCC
2007
14 years 9 months ago
2007
: We summarize our contributions on the quest of new planar tetracoordinate carbon entities (new carbon molecules with exotic chemical structures and strange bonding schemes). We g...