30240 search results - page 747 / 6048 » Robust System Design |
214
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
—The paper addresses modular hierarchical design (composition) of a management system for smart homes. The management system consists of security subsystem (access control, alarm...
208
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
166
click to vote
SCL
2008
15 years 7 months ago
2008
: The paper considers a model validation problem for a class of uncertain systems in which the uncertainty is described by an integral quadratic constraint and the uncertain system...
