Sciweavers

3605 search results - page 473 / 721
» Analysis and Applications of the XDI model
Sort
View
ESCIENCE
2006
IEEE
15 years 10 months ago
Jylab: A System for Portable Scientific Computing over Distributed Platforms
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
Giorgios Kollias, Efstratios Gallopoulos
DICTA
2003
15 years 8 months ago
Volumetric Medical Imaging Environment
We describe a graphical tool for analysis and visualization of three dimensional medical data. The application is intended to help physicians interpret the geometric structures of ...
Bobi Gilburd, Michal Holtzman-Gazit, Alon Spira, D...
ENTCS
2006
185views more  ENTCS 2006»
15 years 6 months ago
Time Domain Verification of Oscillator Circuit Properties
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Ode...
ASE
2005
102views more  ASE 2005»
15 years 6 months ago
Tool-Supported Verification of Product Line Requirements
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
Prasanna Padmanabhan, Robyn R. Lutz
ADBIS
2005
Springer
101views Database» more  ADBIS 2005»
16 years 5 days ago
Conceptual Content Management for Software Engineering Processes
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
Sebastian Bossung, Hans-Werner Sehring, Michael Sk...