3686 search results - page 54 / 738 » Comprehensive comprehensions |
ERCIMDL
2005
Springer
14 years 1 months ago
2005
Springer
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
UML
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
SIGIR
2004
ACM
14 years 1 months ago
2004
ACM
Current e-Book browsers provide minimal support for comprehending the organization, narrative structure, and themes, of large complex books. In order to build an understanding of ...
DIAGRAMS
2004
Springer
14 years 1 months ago
2004
Springer