Sciweavers

531 search results - page 63 / 107
» An Argumentation-Based Approach for Practical Reasoning
Sort
View
118
Voted
PTS
2007
112views Hardware» more  PTS 2007»
15 years 5 months ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall
144
Voted
VISSYM
2004
15 years 5 months ago
Medical Applications of Multi-field Volume Rendering and VR Techniques
This paper reports on a new approach for visualizing multi-field MRI or CT datasets in an immersive environment with medical applications. Multi-field datasets combine multiple sc...
Joe Kniss, Jürgen P. Schulze, Uwe Wössne...
135
Voted
ICIS
1994
15 years 5 months ago
Valuing IT through Virtual Process Measurement
The so called "productivity paradox" associated with information technology remains the focus of active research in information systems. One explanation involves the dea...
Mark E. Nissen
135
Voted
ISI
2008
Springer
15 years 3 months ago
Identity management architecture
Identity Management plays a crucial role in many application contexts, including e-governments, e-commerce, business intelligence, investigation, and homeland security. The variet...
Uwe Glässer, Mona Vajihollahi
139
Voted
ECCC
2007
99views more  ECCC 2007»
15 years 3 months ago
An Exponential Time/Space Speedup For Resolution
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
Philipp Hertel, Toniann Pitassi