15635 search results - page 152 / 3127 » Modelling and Design of VAML |
118
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
We consider a linearized parameter-varying model of a planar crane and show how a controller can be designed, following the state-feedback stabilization technique for time-varying...
168
click to vote
HCSE
2010
15 years 4 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
305
click to vote
DSS
2011
14 years 9 months ago
2011
: We study a new supply chain network design problem with environmental concerns. We are interested in the environmental investments decisions in the design phase and propose a mul...
149
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
160
click to vote
ASYNC
2003
IEEE
15 years 11 months ago
2003
IEEE
Parameterized first-order models for throughput, energy, and bandwidth are presented in this paper. Models are developed for many common pipeline methodologies, including clocked...