Sciweavers

2593 search results - page 179 / 519
» constraints 2007
Sort
View
MODELS
2007
Springer
16 years 20 days ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...
DEXAW
2007
IEEE
124views Database» more  DEXAW 2007»
16 years 27 days ago
Research issues and overview of economic models in Mobile-P2P networks
The mobile-P2P paradigm is becoming increasingly popular. Existing mobile-P2P solutions largely do not consider economic incentive models for enticing peer participation without e...
Anirban Mondal, Sanjay Kumar Madria, Masaru Kitsur...
WCRE
2007
IEEE
16 years 24 days ago
Dynamic Protocol Recovery
Dynamic protocol recovery tries to recover a component’s sequencing constraints by means of dynamic analysis. This problem has been tackled by several automaton learning approac...
Jochen Quante, Rainer Koschke
CVPR
2007
IEEE
16 years 8 months ago
A Closed-form Solution to 3D Reconstruction of Piecewise Planar Objects from Single Images
This paper proposes a new approach to 3D reconstruction of piecewise planar objects based on two image regularities, connectivity and perspective symmetry. First, we formulate the...
Zhenguo Li, Jianzhuang Liu, Xiaoou Tang
AUTOMATICA
2010
98views more  AUTOMATICA 2010»
15 years 6 months ago
Explicit use of probabilistic distributions in linear predictive control
: The guarantee of feasibility given feasibility at initial time is an issue that has been overlooked by many of the recent papers on stochastic model predictive control. Effective...
Basil Kouvaritakis, Mark Cannon, Sasa V. Rakovic, ...