295 search results - page 16 / 59 » Games and Definability for System F |
POPL
2007
ACM
14 years 7 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
ATAL
2004
Springer
14 years 29 days ago
2004
Springer
: A reputation management system can promote trust in transactions in an online consumer-to-consumer (C2C) market. We model a C2C market by employing an agent-based approach. To di...
CADUI
2004
13 years 9 months ago
2004
: The main characteristic of a mobile collaborative mixed system is that augmentation of the physical environment of one user occurs through available knowledge of where the user i...
MIXER
2004
13 years 9 months ago
2004
The main characteristic of a mobile collaborative Mixed Reality (MR) system is that augmentation of the physical environment of one user occurs through available knowledge of wher...
PERSUASIVE
2010
Springer
14 years 9 days ago
2010
Springer
This article introduces the concept of a behavior change support system and suggests it as a key construct for research on persuasive systems design, technologies, and applications...