620 search results - page 66 / 124 » Concrete Abstractions |
FOSSACS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
DATESO
2008
13 years 11 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
DBSEC
2008
13 years 11 months ago
2008
Abstract. The need for secure logging is well-understood by the security professionals, including both researchers and practitioners. The ability to efficiently verify all (or some...
MC
2008
13 years 11 months ago
2008
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
APVIS
2004
13 years 11 months ago
2004
This paper describes an architecture for supporting multiview information overlays within the InVision visualisation framework. The concept of an information overlay is defined as...