1237 search results - page 32 / 248 » Strictness and Totality Analysis |
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— This paper proposes a novel robust output feedback controller for an electromechanical system in the presence of external disturbance and uncertainties of physical para...
WINE
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...
104
click to vote
IEEEPACT
2006
IEEE
15 years 3 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
101
click to vote
TOSEM
2010
14 years 4 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
APN
2010
Springer
14 years 10 months ago
2010
Springer
Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing p...