2227 search results - page 155 / 446 » Reversibility and Models for Concurrency |
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
160
click to vote
ICDAR
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper presents the XML-based formats ALTO, TEI, METS used for Digital Libraries and their interest for data representation in a Document Image Analysis and Recognition (DIAR)...
146
click to vote
CONTEXT
2007
Springer
16 years 10 days ago
2007
Springer
Informal notions of context often imply much more than that captured in many computational formalisms of it. The view presented in this paper, built on our understanding of designi...
181
click to vote
ACSW
2003
15 years 7 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
153
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
The Spohnian paradigm of ranking functions is in many respects like an order-of-magnitude reverse of subjective probability theory. Unlike probabilities, however, ranking function...