698 search results - page 66 / 140 » dagstuhl 2007 |
79
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
: The aging demographic being experienced by all western countries has significant impact on health care utilization as well as the ability to remain in independent living situatio...
DAGSTUHL
2007
15 years 2 months ago
2007
The problem of deciding the probability model equivalence of two PRISM programs is addressed. In the finite case this problem can be solved (albeit slowly) using techniques from a...
98
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
CENC (Cipher-based ENCryption) is the recently designed encryption mode for blockciphers. It is provably secure with beyond the birthday bound. In this note, we present a simple di...
107
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
Abstract. We explain the raison d’ˆetre and basic ideas of our gametheoretic approach to normative multiagent systems, sketching the central elements with pointers to other publ...
DAGSTUHL
2007
15 years 2 months ago
2007
A lot of software infrastructures for distributed device ensembles with quite different approaches have been developed in the past. This article describes the need of a reference a...