575 search results - page 75 / 115 » Transition systems for designing and reasoning about norms |
101
click to vote
BIS
2008
15 years 28 days ago
2008
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...
AINA
2007
IEEE
15 years 3 months ago
2007
IEEE
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
ACSD
2006
IEEE
15 years 1 months ago
2006
IEEE
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...
184
click to vote
POPL
2006
ACM
15 years 11 months ago
2006
ACM
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...
106
click to vote
ACMICEC
2006
ACM
15 years 3 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...