15614 search results - page 154 / 3123 » The State of State |
123
Voted
COST
2009
Springer
15 years 7 months ago
2009
Springer
We present the concept and motivations for the development of Affect Listeners, conversational systems aiming to detect and adapt to affective states of users, and meaningfully res...
ETRICS
2006
15 years 7 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
125
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— In this paper, we consider the problems of semiglobal and global internal stabilization of a class of sandwich systems consisting of two linear systems with a saturatio...
132
Voted
ER
2008
Springer
15 years 5 months ago
2008
Springer
act State Services Hui Ma1 Klaus-Dieter Schewe2 Bernhard Thalheim Qing Wang4 Bericht Nr. 0804 Mai 2008 CHRISTIAN-ALBRECHTS-UNIVERSIT
118
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...