2597 search results - page 417 / 520 » A Relational Approach to Support Software Architecture Analy... |
177
click to vote
APN
2000
Springer
15 years 9 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
158
click to vote
ICONIP
1998
15 years 6 months ago
1998
Learning transfer is the improvement in performance on one task having learnt a related task. That the degree of transfer is signi cantly greater in humans than other primates and...
157
click to vote
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
Current approaches to Business Process Management (BPM) and Operational Business Intelligence (BI) integration have been very limited and simply reduced to the problem of technica...
138
click to vote
IANDC
2008
15 years 5 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
170
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...