The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
Medical Imaging Centers (MIC) are critical units in every hospital or medical center because they are an important step in generating a patient's diagnostic. This paper shows...
Francisco J. Ramis, Felipe F. Baesler, Edgar Berho...
The games with a purpose paradigm proposed by Luis von Ahn [9] is a new approach for game design where useful but boring tasks, like labeling a random image found in the web, are ...
Sebastian Matyas, Christian Matyas, Christoph Schl...