Sciweavers

1099 search results - page 181 / 220
» Using Transformation Systems for Software Maintenance and Re...
Sort
View
POPL
1998
ACM
15 years 7 months ago
From System F to Typed Assembly Language
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
J. Gregory Morrisett, David Walker, Karl Crary, Ne...
IWSSD
1993
IEEE
15 years 7 months ago
An Active Hypertext Model for System Requirements
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...
Colin Potts, Kenji Takahashi
DIAGRAMS
2004
Springer
15 years 8 months ago
Cider: A Component-Based Toolkit for Creating Smart Diagram Environments
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
Anthony R. Jansen, Kim Marriott, Bernd Meyer
BILDMED
2007
115views Algorithms» more  BILDMED 2007»
15 years 4 months ago
A New Approach to Ultrasound Guided Radio-Frequency Needle Placement
The transformation from an ultrasound (US) image plane to the coordinate system of a position sensor attached to the US transducer can be computed with US calibration algorithms. T...
Claudio Alcérreca, Jakob Vogel, Marco Feuer...
DOLAP
2005
ACM
15 years 5 months ago
Applying MDA to the development of data warehouses
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
Jose-Norberto Mazón, Juan Trujillo, Manuel ...