Sciweavers

76 search results - page 3 / 16
» dagstuhl 2003
Sort
View
DAGSTUHL
2003
15 years 1 months ago
Static and Dynamic Semantics of the Web
Christopher Fry, Mike Plusch, Henry Lieberman
54
Voted
DAGSTUHL
2003
15 years 1 months ago
Multiple Precision Interval Packages: Comparing Different Approaches
Markus Grimmer, Knut Petras, Nathalie Revol
DAGSTUHL
2003
15 years 1 months ago
XML: Model, Schemas, Types, Logics, and Queries
Nils Klarlund, Thomas Schwentick, Dan Suciu
DAGSTUHL
2003
15 years 1 months ago
Static Analysis-Based Validation of Floating-Point Computations
Sylvie Putot, Eric Goubault, Matthieu Martel