575 search results - page 48 / 115 » Transition systems for designing and reasoning about norms |
79
Voted
ISCAS
2007
IEEE
15 years 5 months ago
2007
IEEE
A SoC design for applications of OMA DRM 2 Agent in mobile phones is presented in this paper, which has been verified by Altera Stratix EP1S80B956C6 FPGA development board. Several...
KCAP
2003
ACM
15 years 4 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
AAAI
2008
15 years 1 months ago
2008
In this paper, we combine for the first time the methods of dynamic mechanism design with techniques from decentralized decision making under uncertainty. Consider a multi-agent s...
152
Voted
VEE
2012
ACM
13 years 7 months ago
2012
ACM
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...
107
click to vote
CSREASAM
2007
15 years 29 days ago
2007
— We present an efficient implementation of a fair e-cash protocol especially designed for mobile wireless environments. Our protocol attempts to offer a reasonable balance betw...