Sciweavers

28445 search results - page 493 / 5689
» Anatomically based modeling
Sort
View
107
Voted
BDIM
2007
IEEE
99views Business» more  BDIM 2007»
15 years 10 months ago
Model-Based Mitigation of Availability Risks
The assessment and mitigation of risks related to the availability of the IT infrastructure is becoming increasingly important in modern organizations. Unfortunately, present stan...
Emmanuele Zambon, Damiano Bolzoni, Sandro Etalle, ...
98
Voted
CSMR
2007
IEEE
15 years 10 months ago
Metamodel-Based Inference of Inter-Model Correspondence
Petri Selonen, Markus Kettunen
116
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
Iterative Decoding of Concatenated Channel Coding and Trellis Shaping Based on Markov Model
—The trellis shaping (TS) is an effective technique not only for average power reduction of high-order QAM signals, but also for peak power reduction of band-limited single-carri...
Makoto Tanahashi, Hideki Ochiai
80
Voted
HASE
2007
IEEE
15 years 10 months ago
Model-Checker-Based Testing of LTL Specifications
Luis García, Steve Roach
132
Voted
HICSS
2007
IEEE
120views Biometrics» more  HICSS 2007»
15 years 10 months ago
A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
Tim Schattkowsky, Gregor Engels, Alexander Fö...