Frameworks and Patterns are important instruments that enable the reuse of successful software solutions in recurrent problems. Geographic information systems, on the other hand, ...
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
In this paper we describe the design and implementation of a CORBA Query Service targeted to access data that is defined by the EXPRESS data modeling language. EXPRESS is used pri...