307 search results - page 48 / 62 » Generalized syntactic and semantic models of query reformula... |
VL
2003
IEEE
14 years 24 days ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
FLAIRS
2007
13 years 9 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
SIGSOFT
2004
ACM
14 years 28 days ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...