Sciweavers

408 search results - page 43 / 82
» Human-centered computing in international development
Sort
View
CSL
1992
Springer
14 years 2 months ago
Communicating Evolving Algebras
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
Paola Glavan, Dean Rosenzweig
MEDINFO
2007
157views Healthcare» more  MEDINFO 2007»
13 years 11 months ago
EHR Query Language (EQL) - A Query Language for Archetype-Based Health Records
OpenEHR specifications have been developed to standardise the representation of an international electronic health record (EHR). The language used for querying EHR data is not as ...
Chunlan Ma, Heath K. Frankel, Thomas Beale, Sam He...
GECCO
2008
Springer
148views Optimization» more  GECCO 2008»
13 years 11 months ago
Supply chain management sales using XCSR
The Trading Agent Competition in its category Supply Chain Management (TAC SCM) is an international forum where teams construct agents that control a computer assembly company in ...
María A. Franco, Ivette C. Martínez,...
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 10 months ago
Integrating OPC Data into GSN Infrastructures
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
Olivier Passalacqua, Eric Benoit, Marc-Philippe Hu...
CORR
2006
Springer
102views Education» more  CORR 2006»
13 years 10 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas