Sciweavers

76 search results - page 3 / 16
» dagstuhl 2003
Sort
View
DAGSTUHL
2003
13 years 6 months ago
Static and Dynamic Semantics of the Web
Christopher Fry, Mike Plusch, Henry Lieberman
DAGSTUHL
2003
13 years 6 months ago
XML: Model, Schemas, Types, Logics, and Queries
Nils Klarlund, Thomas Schwentick, Dan Suciu
DAGSTUHL
2003
13 years 6 months ago
Static Analysis-Based Validation of Floating-Point Computations
Sylvie Putot, Eric Goubault, Matthieu Martel