Sciweavers

8446 search results - page 1548 / 1690
» A Process Compensation Language
Sort
View
REX
1993
15 years 7 months ago
Relationships Between Models of Concurrency
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
122
Voted
SIGIR
1993
ACM
15 years 7 months ago
A Model of Information Retrieval Based on a Terminological Logic
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
126
Voted
SEKE
1994
Springer
15 years 7 months ago
Rule firing with metarules
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
François Pachet, Jean-François Perro...
UIST
1993
ACM
15 years 7 months ago
Model-based User Interface Design by Example and by Interview
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
Martin R. Frank, James D. Foley
148
Voted
VLDB
1994
ACM
128views Database» more  VLDB 1994»
15 years 7 months ago
An Algebraic Approach to Rule Analysis in Expert Database Systems
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
Elena Baralis, Jennifer Widom
« Prev « First page 1548 / 1690 Last » Next »