Sciweavers

1728 search results - page 276 / 346
» Self-Organisation: Paradigms and Applications
Sort
View
DEXA
2000
Springer
165views Database» more  DEXA 2000»
15 years 9 months ago
DIMS: Implementation of a Federated Information Management System for PRODNET II
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...
César Garita, Yasemin Ugur, Anne Frenkel, H...
BANFF
1995
15 years 9 months ago
An Automata-Theoretic Approach to Linear Temporal Logic
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 ...
Moshe Y. Vardi
DBPL
1991
Springer
66views Database» more  DBPL 1991»
15 years 9 months ago
Rationale and Design of BULK
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...
Steve Rozen, Dennis Shasha
WSC
2008
15 years 8 months ago
A simulator to improve waiting times at a Medical Imaging Center
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...
ACMACE
2008
ACM
15 years 8 months ago
Designing location-based mobile games with a purpose: collecting geospatial data with CityExplorer
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...