12478 search results - page 2009 / 2496 » Secure Interaction Design |
213
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
180
click to vote
INFOCOM
1991
IEEE
15 years 10 months ago
1991
IEEE
Although the issues of routing and scheduling in packet radio networks are highly interdependent, few studies have addressed their interactions. In this paper, we address the prob...
184
click to vote
CBSE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
183
click to vote
ACMSE
2009
ACM
15 years 10 months ago
2009
ACM
The goal of the One Laptop Per Child program is “to provide children around the world with new opportunities to explore, experiment, and express themselves.” To stay true to t...
203
click to vote
AIIDE
2008
15 years 9 months ago
2008
Human experience with interactive games will be enhanced if the software agents that play the game learn from their failures. Techniques such as reinforcement learning provide one...