Sciweavers

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