Sciweavers

2542 search results - page 424 / 509
» An Operational Definition of Context
Sort
View
BNCOD
1997
76views Database» more  BNCOD 1997»
15 years 7 months ago
Query Evaluation in CROQUE - Calculus and Algebra Coincide
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
Torsten Grust, Joachim Kröger, Dieter Gluche,...
157
Voted
DIMACS
1996
15 years 7 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
EACL
1989
ACL Anthology
15 years 7 months ago
User studies and the design of Natural Language Systems
This paper presents a critical discussion of the various approaches that have been used in the evaluation of Natural Language systems. We conclude that previous approaches have ne...
Steve Whittaker, Phil Stenton
142
Voted
SPLC
2007
15 years 7 months ago
Tailoring Infrastructure Software Product Lines by Static Application Analysis
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...
Horst Schirmeier, Olaf Spinczyk
ATAL
2010
Springer
15 years 7 months ago
MAS-DisCoSim 4 PDP: a testbed for multi-agent solutions to PDPs
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
Jelle Van Gompel, Bart Tuts, Rutger Claes, Mario C...