Sciweavers

1099 search results - page 181 / 220
» Using Transformation Systems for Software Maintenance and Re...
Sort
View
POPL
1998
ACM
15 years 10 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 10 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 11 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 7 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 8 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 ...