2911 search results - page 383 / 583 » A Theory of Expressiveness in Mechanisms |
130
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the speciļ¬cation of distributed trust management systems, particularly the RT framework...
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
121
Voted
ICNP
2005
IEEE
15 years 7 months ago
2005
IEEE
straction of Complex Network Compositionsā Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
108
click to vote
ICTAI
2005
IEEE
15 years 7 months ago
2005
IEEE
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...