1729 search results - page 30 / 346 » Generic Haskell: Applications |
ICFP
2012
ACM
12 years 11 days ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents a configurable and generic platform architecture suitable to interface several kinds of sensors for automotive applications. A platform-based design approach i...
OSDI
2000
ACM
13 years 11 months ago
2000
ACM
: We explore the abstraction of failure transparency in which the operating system provides the illusion of failure-free operation. To provide failure transparency, an operating sy...
AMAST
2006
Springer
14 years 1 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
MLMI
2005
Springer
14 years 3 months ago
2005
Springer
We present a novel approach to developing interfaces for multi-application dialogue systems. The targeted interfaces allow transparent switching between a large number of applicati...