3256 search results - page 469 / 652 » Applications of Formal Methods to System Design and Verifica... |
108
click to vote
HCI
2007
15 years 6 months ago
2007
This paper proposes new method for object reference which enables a person to find surrounding objects and develops a navigation system named CoCo. CoCo employs an ultrasonic direc...
178
click to vote
TCC
2010
Springer
16 years 2 months ago
2010
Springer
We construct a fully secure HIBE scheme with short ciphertexts. The previous construction of Boneh, Boyen, and Goh was only proven to be secure in the selective model, under a non...
143
click to vote
SELMAS
2004
Springer
15 years 10 months ago
2004
Springer
Agent architectures have to cope with a number of internal properties (concerns), such as autonomy, learning, and mobility. As the agent complexity increases, these agent propertie...
130
click to vote
IFIP
1998
Springer
15 years 9 months ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
153
click to vote
AUTOMATICA
2006
15 years 5 months ago
2006
Design of iterative learning control (ILC) often requires some prior knowledge about a system's control matrix. In some applications, such as uncalibrated visual servoing, th...