5600 search results - page 329 / 1120 » Synthesizing robust systems |
136
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a market mechanism that can be implemented on clustering aggregation problem among selfish systems, which tend to lie about their correct clustering during aggregation ...
185
click to vote
ICLP
2009
Springer
16 years 1 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...
150
click to vote
SCL
2008
15 years 6 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...
163
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
A new approach to control system design for systems containing sandwiched, uncertain, non-smooth friction is proposed. The method is based on a multi-state backstepping approach t...
175
click to vote
CSREASAM
2006
15 years 8 months ago
2006
- In this paper, we present the development of a Windows-based application implemented on the Microsoft .NET platform as a framework to allow a user to first compress and encrypt a...