Sciweavers

12670 search results - page 157 / 2534
» Requirements Modeling
Sort
View
119
Voted
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
15 years 9 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
DAGSTUHL
2009
15 years 4 months ago
Modeling Dimensions of Self-Adaptive Software Systems
It is commonly agreed that a self-adaptive software system is one that can modify itself at run-time due to changes in the system, its requirements, or the environment in which it ...
Jesper Andersson, Rogério de Lemos, Sam Mal...
144
Voted
FASE
2010
Springer
15 years 1 months ago
A Verifiable Modeling Approach to Configurable Role-Based Access Control
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim
CVPR
2010
IEEE
15 years 6 months ago
Ray Markov Random Fields for Image-Based 3D Modeling: Model and Efficient Inference
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
Shubao Liu, David Cooper
161
Voted
TASLP
2002
111views more  TASLP 2002»
15 years 3 months ago
Speech enhancement using a mixture-maximum model
We present a spectral domain, speech enhancement algorithm. The new algorithm is based on a mixture model for the short time spectrum of the clean speech signal, and on a maximum a...
David Burshtein, Sharon Gannot