Sciweavers

8828 search results - page 109 / 1766
» Formal methods in practice
Sort
View
AFP
2008
Springer
241views Formal Methods» more  AFP 2008»
15 years 10 months ago
Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Mag...
ICFCA
2004
Springer
15 years 9 months ago
AddIntent: A New Incremental Algorithm for Constructing Concept Lattices
Dean van der Merwe, Sergei A. Obiedkov, Derrick G....
AGTIVE
2003
Springer
15 years 9 months ago
Proper Down-Coloring Simple Acyclic Digraphs
Geir Agnarsson, Ágúst S. Egilsson, M...
INTERFACES
2008
128views more  INTERFACES 2008»
15 years 4 months ago
Relevance to Practice and Auction Theory: A Memorial Essay for Michael Rothkopf
re more abstract than necessary. They depend on assumptions that are highly unlikely to occur in practical situations, which are often less formal and rigid. Nonetheless, we discus...
Ronald M. Harstad, Aleksandar Sasa Pekec
SBBD
2003
86views Database» more  SBBD 2003»
15 years 5 months ago
XML: From Practice to Theory
The development of XML technology has occurred very rapidly, initially leaving theory behind. As is often the case in such situations, practical development sometimes seemed more ...
Victor Vianu