Sciweavers

4922 search results - page 291 / 985
» Internet time out
Sort
View
DBPL
2001
Springer
113views Database» more  DBPL 2001»
15 years 10 months ago
Model-Checking Based Data Retrieval
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...
Agostino Dovier, Elisa Quintarelli
APAQS
2000
IEEE
15 years 10 months ago
Quality Improvement - The Six Sigma Way
Six Sigma provides an effective mechanism to focus on customer requirements, through improvement of process quality. In the Global Engineering Development Center of Tata Consultan...
Mala Murugappan, Gargi Keeni
168
Voted
AGENTS
2000
Springer
15 years 10 months ago
Air traffic control and alert agent
This paper presents an agent program that monitors and interacts with the dynamic situation of flights around an airport tower as well as interacts with a human operator that can ...
Henry Hexmoor, Tim Heng
ICS
1998
Tsinghua U.
15 years 10 months ago
Dependence Driven Execution for Multiprogrammed Multiprocessor
Abstract Barrier synchronizations can be very expensive on multiprogramming environment because no process can go past a barrier until all the processes have arrived. If a process ...
Suvas Vajracharya, Dirk Grunwald
ECOOPW
1997
Springer
15 years 10 months ago
Design Patterns vs. Language Design
This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...
Joseph Gil, David H. Lorenz