7715 search results - page 1309 / 1543 » Visual Rules Modeling |
143
Voted
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
138
Voted
RIDE
1999
IEEE
15 years 7 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
122
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
109
Voted
KR
1998
Springer
15 years 7 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
127
click to vote
PPSN
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents a novel evolutionary approach of approximating the shape of the Pareto-optimal set of multi-objective optimization problems. The evolutionary algorithm (EA) use...