Sciweavers

4798 search results - page 354 / 960
» A Time for Change
Sort
View
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 6 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
ACSD
2010
IEEE
197views Hardware» more  ACSD 2010»
15 years 4 months ago
Order-Independence of Vector-Based Transition Systems
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans...
JDCTA
2010
172views more  JDCTA 2010»
15 years 1 months ago
A Method of Bearing Fault Feature Extraction Based on Improved Wavelet Packet and Hilbert Analysis
In order to supply a gap of current resonance vibration and STFT demodulation method applied to rolling bearing fault feature extraction of city rail vehicle, a fault diagnosis me...
Jian-wei Yang, De-chen Yao, Guo-qiang Cai, Hai-bo ...
HICSS
2009
IEEE
98views Biometrics» more  HICSS 2009»
16 years 1 months ago
Methodological Approaches to Measuring the Effects of Implementation of Health Information Technology (HIT)
The research design, evaluation methodology, and statistical analysis of the clinical efficacy of healthcare information technology (HIT) implementation can be a challenging task....
Lance Roberts, Marcia M. Ward, Jane M. Brokel, Dou...
FM
2009
Springer
190views Formal Methods» more  FM 2009»
16 years 1 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu