Sciweavers

3837 search results - page 560 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
121
Voted
UIST
2000
ACM
15 years 7 months ago
Jazz: an extensible zoomable user interface graphics toolkit in Java
In this paper we investigate the use of scene graphs as a general approach for implementing two-dimensional (2D) graphical applications, and in particular Zoomable User Interfaces...
Benjamin B. Bederson, Jon Meyer, Lance Good
UIST
2000
ACM
15 years 7 months ago
Suede: a Wizard of Oz prototyping tool for speech user interfaces
Speech-based user interfaces are growing in popularity. Unfortunately, the technology expertise required to build speech UIs precludes many individuals from participating in the s...
Scott R. Klemmer, Anoop K. Sinha, Jack Chen, James...
123
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 6 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
139
Voted
PEPM
1998
ACM
15 years 6 months ago
Type-Directed Partial Evaluation
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
Olivier Danvy
UIST
1997
ACM
15 years 6 months ago
An Interactive Visual Query Environment for Exploring Data
Direct manipulation of visualizations is a powerful technique for performing exploratory data operations such as navigation, aggregation, and filtering. Its immediacy facilitates ...
Mark Derthick, John Kolojejchick, Steven F. Roth