Sciweavers

7640 search results - page 1190 / 1528
» Event Database Processing
Sort
View
EDCC
1994
Springer
15 years 10 months ago
Hierarchical Checking of Multiprocessors Using Watchdog Processors
A new control flow checking scheme, based on assigned-signature checking by a watchdog processor, is presented. This scheme is suitable for a multitasking, multiprocessor environme...
István Majzik, András Pataricza, Mar...
IFIP
1993
Springer
15 years 10 months ago
Plant Engineering: Conceptual Modeling and Modular Design of a Computer Aided Environment
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
Cláudio Walter, José Palazzo M. de O...
ATAL
2007
Springer
15 years 10 months ago
Negotiation by abduction and relaxation
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
Chiaki Sakama, Katsumi Inoue
COMPSYSTECH
2007
15 years 10 months ago
An interface system based on multimodal principle for cardiological diagnosis assistance
: A pilot interface system is developed for computer-aided diagnostic and interventional assistance of cardiologists based on clinical trials. The system includes optimized methods...
Maya Dimitrova, Chavdar Roumenin, Siya Lozanova, L...
PODC
2010
ACM
15 years 10 months ago
Brief announcement: on the quest of optimal service ordering in decentralized queries
This paper deals with pipelined queries over services. The execution plan of such queries defines an order in which the services are called. We present the theoretical underpinni...
Efthymia Tsamoura, Anastasios Gounaris, Yannis Man...
« Prev « First page 1190 / 1528 Last » Next »