Sciweavers

5681 search results - page 912 / 1137
» A Domain Model for eParticipation
Sort
View
SIGDOC
2000
ACM
15 years 11 months ago
A why-what-how tool for development and documentation of operating procedures
∗ DSTOP, the Design Support Tool for Operating Procedures, is a relatively simple software tool for support of designers of new interfaces and their procedures for use. DSTOP is ...
David G. Novick
208
Voted
CSL
2000
Springer
15 years 11 months ago
Subtyping with Power Types
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
David Aspinall
RSP
1999
IEEE
125views Control Systems» more  RSP 1999»
15 years 11 months ago
Extended Synchronous Dataflow for Efficient DSP System Prototyping
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...
Chanik Park, JaeWoong Chung, Soonhoi Ha
SSDBM
1999
IEEE
108views Database» more  SSDBM 1999»
15 years 11 months ago
Supporting Imprecision in Multidimensional Databases Using Granularities
On-Line Analytical Processing (OLAP) technologies are being used widely, but the lack of effective means of handling data imprecision, which occurs when exact values are not known...
Torben Bach Pedersen, Christian S. Jensen, Curtis ...
ICS
1999
Tsinghua U.
15 years 11 months ago
Nonlinear array layouts for hierarchical memory systems
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....
Siddhartha Chatterjee, Vibhor V. Jain, Alvin R. Le...