6608 search results - page 1272 / 1322 » On the Completeness of Model Checking |
129
Voted
WINE
2009
Springer
15 years 10 months ago
2009
Springer
We study an economic setting in which a principal motivates a team of strategic agents to exert costly effort toward the success of a joint project. The action taken by each agent...
140
click to vote
XSYM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The extensible markup language XML has become the de facto standard for information representation and interchange on the Internet. XML parsing is a core operation perfor...
157
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
138
Voted
CCA
2009
Springer
15 years 10 months ago
2009
Springer
In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Mar...
142
Voted
ISAAC
2009
Springer
15 years 10 months ago
2009
Springer
We give a simple framework which is an alternative to the celebrated and widely used shifting strategy of Hochbaum and Maass [J. ACM, 1985] which has yielded efficient algorithms ...