Sciweavers

158 search results - page 11 / 32
» A Practical Way for Projects to Visualize Design Rationale
Sort
View
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
14 years 2 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
SSDBM
1998
IEEE
113views Database» more  SSDBM 1998»
14 years 24 days ago
From a Procedural to a Visual Query Language for OLAP
We address the issue of designing effective query languages for OLAP databases. The basis of our investigation is MD, a new data model for multidimensional databases that, unlike ...
Luca Cabibbo, Riccardo Torlone
PDC
2004
ACM
14 years 2 months ago
Examining a planning discourse: how a manager represents issues within a planning frame and how the others could do the same
The aim of Participatory Design (PD) is to involve the users in the design. Even though the research has shown the success of PD projects in empowering users, little has been said...
Jarmo Sarkkinen
COMPGEOM
1999
ACM
14 years 27 days ago
Empirical Design of Geometric Algorithms
The computer--aidedsolution to algorithmic problemsis becoming moreandmoreimportant in variousapplicationdomains.This is in particular true for computationalgeometry.For example,g...
Karsten Weihe, Ulrik Brandes, Annegret Liebers, Ma...
ERCIMDL
2004
Springer
194views Education» more  ERCIMDL 2004»
14 years 1 months ago
Fiction Electronic Books: A Usability Study
This paper focuses on fiction electronic books and their usability. Two complementary studies were drawn together in order to investigate whether fiction e-books can successfully b...
Chrysanthi Malama, Monica Landoni, Ruth Wilson