7530 search results - page 483 / 1506 » Design and Implementation of the YAWL System |
176
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Architectural simulation has achieved a prominent role in the system design cycle by providing designers the ability to quickly examine a wide variety of design choices. However, ...
191
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...
196
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
202
click to vote
ENTCS
2007
15 years 7 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
179
click to vote
ACSD
2005
IEEE
16 years 26 days ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...