Sciweavers

575 search results - page 75 / 115
» Transition systems for designing and reasoning about norms
Sort
View
BIS
2008
174views Business» more  BIS 2008»
15 years 28 days ago
Hubbub - An Innovative Customer Support Forum
Internet user forums have been proven to be effective not just as a community meeting place but also as a supporting tool for various business products. Traditional forums are desi...
Duong Nguyen, Simon Thompson, Cefn Hoile
AINA
2007
IEEE
15 years 3 months ago
Domain Modelling for Ubiquitous Computing Applications
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
Anthony Harrington, Vinny Cahill
ACSD
2006
IEEE
102views Hardware» more  ACSD 2006»
15 years 1 months ago
Models of Computation for Networks on Chip
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...
Axel Jantsch
POPL
2006
ACM
15 years 11 months ago
Harmless advice
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...
Daniel S. Dantas, David Walker
ACMICEC
2006
ACM
111views ECommerce» more  ACMICEC 2006»
15 years 3 months ago
Passive verification of the strategyproofness of mechanisms in open environments
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
Laura Kang, David C. Parkes