Sciweavers

4914 search results - page 64 / 983
» Arbitration of a help system
Sort
View
ISORC
2000
IEEE
14 years 9 days ago
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
Laurent Pautet, Samuel Tardieu
ACSD
2004
IEEE
102views Hardware» more  ACSD 2004»
13 years 11 months ago
Arrays and Contracts for the Specification and Analysis of Regular Systems
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
Florence Maraninchi, Lionel Morel
AIME
2009
Springer
14 years 2 months ago
A Knowledge-Based System to Support Emergency Medical Services for Disabled Patients
This paper illustrates a knowledge based system devoted to help nurses and volunteers of Emergency Medical Services (EMS) in dealing with disabled patients during an emergency.
Luca Chittaro, Roberto Ranon, Elio Carchietti, Ago...
ECAI
2000
Springer
14 years 8 days ago
An Ontology Enrichment Method for a Pragmatic Information Extraction System gathering Data on Genetic Interactions
We present in this paper a method to insert new concepts in an existing information extraction system based on a conceptual graph architecture. We use verb patterns as conceptual s...
Claude Roux, Denys Proux, François Rechenma...
ASAP
1997
IEEE
100views Hardware» more  ASAP 1997»
14 years 4 days ago
Processor Elements for the Standard Cell Implementation of Residue Number Systems
In this article processor elements for the effective implementation of standard cell circuits based on Residue Number Systems (RNS) are presented. Two new processors are proposed ...
Ansgar Drolshagen, H. Henkelmann, Walter Anheier