Sciweavers

2086 search results - page 343 / 418
» Principles of Software Evolution
Sort
View
ECOOPWEXCEPTION
2000
Springer
14 years 1 days ago
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
The chief aim of this survey is to discuss exception handling models which have been developed for concurrent object systems. In conducting this discussion we rely on the following...
Alexander B. Romanovsky, Jörg Kienzle
FM
1999
Springer
111views Formal Methods» more  FM 1999»
13 years 12 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
CODES
1998
IEEE
13 years 12 months ago
The construction of a retargetable simulator for an architecture template
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
Bart Kienhuis, Ed F. Deprettere, Kees A. Vissers, ...
UIST
1998
ACM
13 years 12 months ago
Spatial Interpretation of Domain Objects Integrated into a Freeform Electronic Whiteboard
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...
Thomas P. Moran, William van Melle, Patrick Chiu
UIST
1998
ACM
13 years 12 months ago
Constant Density Visualizations of Non-Uniform Distributions of Data
The cartographic Principle of Constant Information Density suggests that the amount of information in an interactive visualization should remain constant as the user pans and zoom...
Allison Woodruff, James A. Landay, Michael Stonebr...