123 search results - page 13 / 25 » On the Construction of Sorted Reactive Systems |
CACM
2000
13 years 7 months ago
2000
The KidsRoom is a perceptually-based, interactive, narrative playspace for children. Images, music, narration, light, and sound effects are used to transform a normal child's...
ICB
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Cryptographic transactions form the basis of many common security systems found throughout computer networks. Supporting these transactions with biometrics is very desira...
SAC
2003
ACM
14 years 18 days ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
INFOCOM
2011
IEEE
12 years 10 months ago
2011
IEEE
—In this paper we model the digital rights management (DRM) for peer-to-peer streaming (P2PS) systems as a game. We construct the DRM game from both content service provider (CSP...
AMAST
2006
Springer
13 years 9 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...