Sciweavers

4126 search results - page 427 / 826
» Relationships with other Formalisms
Sort
View
DOOD
1995
Springer
102views Database» more  DOOD 1995»
15 years 10 months ago
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
Carlo Zaniolo
WLP
2000
Springer
15 years 10 months ago
Attempto Controlled English
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
Norbert E. Fuchs
OOIS
1997
Springer
15 years 10 months ago
An Agent-Based Coordination Model on Workflow Databases
Workflow management, one of the important technologies for supporting collaborative work, requires database technologies like distributed data management or transaction management...
Takeo Kunishima, Kazumasa Yokota
176
Voted
ISSS
1995
IEEE
101views Hardware» more  ISSS 1995»
15 years 10 months ago
An approach to interface synthesis
This paper present a novel interface synthesis approach based on a one-sided interface description. Whereas most other approaches consider interface synthesis as optimizing a chan...
Jan Madsen, Bjarne Hald
DLOG
2007
15 years 9 months ago
Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
C. Maria Keet