Sciweavers

4914 search results - page 64 / 983
» Arbitration of a help system
Sort
View
171
Voted
ISORC
2000
IEEE
15 years 10 months 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»
15 years 9 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
16 years 13 days 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
15 years 10 months 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»
15 years 10 months 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