4212 search results - page 68 / 843 » Rights Expression Languages |
166
Voted
SYNTHESE
2008
15 years 5 months ago
2008
Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved...
152
click to vote
COORDINATION
2007
Springer
15 years 11 months ago
2007
Springer
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
180
Voted
TIME
2003
IEEE
15 years 10 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
139
Voted
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
150
Voted
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...