4209 search results - page 514 / 842 » Abstract Dialectical Frameworks |
126
click to vote
AWIC
2003
Springer
15 years 8 months ago
2003
Springer
user actions at different levels of abstractions. Using the ontology's concepts and relations, we capture the multitude of user interests expressed by a visit to one page. We ...
144
click to vote
ICFEM
2000
Springer
15 years 8 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
130
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
and scenario evolution, in which concepts in the abstraction domain and scenarios in the detail domain iteratively evolve. This framework provides another facet of scenario-based r...
120
click to vote
IFIPTCS
2000
15 years 8 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
133
click to vote
IFM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...