47 search results - page 1 / 10 » There and back again |
WWW
2005
ACM
14 years 5 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
RECOMB
2004
Springer
14 years 5 months ago
2004
Springer
OSDI
2008
ACM
14 years 5 months ago
2008
ACM
Internet routing is mostly based on static information-it's dynamicity is limited to reacting to changes in topology. Adaptive performance-based routing decisions would not o...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
PEPM
2010
ACM
14 years 1 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciï...