Sciweavers

12670 search results - page 452 / 2534
» Requirements Modeling
Sort
View
VTC
2007
IEEE
16 years 2 months ago
Modeling UpLink Power Control with Outage Probabilities
We investigate models for uplink interference in wireless systems. Our models account for the effects of outage probabilities. Such an accounting requires a nonlinear, even nonco...
Kenneth L. Clarkson, K. Georg Hampel, John D. Hobb...
IS
1998
15 years 7 months ago
Information Modeling in the Time of the Revolution
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
John Mylopoulos
IGPL
2006
110views more  IGPL 2006»
15 years 7 months ago
Adaptive Model Checking
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
Alex Groce, Doron Peled, Mihalis Yannakakis
ICASSP
2011
IEEE
14 years 11 months ago
High accurate model-integration-based voice conversion using dynamic features and model structure optimization
This paper combines a parameter generation algorithm and a model optimization approach with the model-integration-based voice conversion (MIVC). We have proposed probabilistic int...
Daisuke Saito, Shinji Watanabe, Atsushi Nakamura, ...
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
16 years 1 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek