Sciweavers

3013 search results - page 106 / 603
» Context-Oriented Domain Analysis
Sort
View
DEXA
2010
Springer
138views Database» more  DEXA 2010»
14 years 10 months ago
Enrichment of Raw Sensor Data to Enable High-Level Queries
Abstract. Sensor networks are increasingly used across various application domains. Their usage has the advantage of automated, often continuous, monitoring of activities and event...
Kenneth Conroy, Mark Roantree
SIAMCO
2010
119views more  SIAMCO 2010»
14 years 7 months ago
Feedback Stabilization of a Fluid-Structure Model
We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the u...
Jean-Pierre Raymond
IJSEKE
2011
141views more  IJSEKE 2011»
14 years 4 months ago
Risk Assessment in Multi-disciplinary (Software+) Engineering Projects
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
Stefan Biffl, Thomas Moser, Dietmar Winkler
79
Voted
IEICET
2007
81views more  IEICET 2007»
15 years 20 days ago
Waveform Analysis of Microwave Pulses Emitted in Association with Hypervelocity Impacts
Formerly, microwave emissions accompanying hypervelocity impacts were confirmed experimentally. In this paper, two kinds of analyses, output waveform analysis and spectral analys...
Shigeo Chiba, Eriko Soma, Tadashi Takano
DFG
2004
Springer
15 years 6 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...