Sciweavers

7776 search results - page 119 / 1556
» Maintaining Maintainability
Sort
View
CHI
1997
ACM
15 years 8 months ago
A Tour of TeamRooms
TeamRooms is a groupware environment based on the metaphor of shared virtual rooms. The system contains userdefined rooms, each with a shared whiteboard, chat tool and customizabl...
Mark Roseman, Saul Greenberg
ISCAS
1993
IEEE
99views Hardware» more  ISCAS 1993»
15 years 8 months ago
On adaptive wavelet packets
An algorithm is presented for fast implementation of time-varying wavelet packets maintaining perfect reconstruction throughout transitions. It is based on filter banks known as t...
Ricardo L. de Queiroz, K. Raghunath Rao
VL
1994
IEEE
154views Visual Languages» more  VL 1994»
15 years 8 months ago
Stretch-A-Sketch: a Dynamic Diagrammer
Stretch-A-Sketch is a pen-based drawing program that combines recognition of hand-drawn glyphs with constraint based maintenance of spatial relations. The recognition program iden...
Mark D. Gross
ADC
1993
Springer
108views Database» more  ADC 1993»
15 years 8 months ago
Using Weakest Preconditions to Simplify Integrity Constraint Checking
We present a procedure for deriving the weakest precondition for a database update and an integrity constraint. We show how to simplify the weakest precondition to produce a condi...
Michael Lawley, Rodney W. Topor, Mark Wallace
SP
1990
IEEE
15 years 8 months ago
A VMM Security Kernel for the VAX Architecture
This paper describes the development of a virtual-machine monitor (VMM) security kernel for the VAX architecture. The paper particularly focuses on how the system's hardware,...
Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin...