8780 search results - page 218 / 1756 » On the Feasibility of Consistent Computations |
169
click to vote
ICIP
2009
IEEE
16 years 8 months ago
2009
IEEE
Computerized analysis of paintings has recently gained interest. The rapid technological advancements and the expanding interdisciplinary collaboration present us a promising pros...
199
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
187
click to vote
APN
2007
Springer
16 years 1 months ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
187
click to vote
CAISE
2005
Springer
16 years 24 days ago
2005
Springer
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...
161
click to vote
OOPSLA
2005
Springer
16 years 22 days ago
2005
Springer
This paper describes the process used to extend the Boost Graph Library (BGL) for parallel operation with distributed memory. The BGL consists of a rich set of generic graph algor...