2916 search results - page 249 / 584 » Generating Rule Sets from Model Trees |
180
click to vote
IJIPT
2006
15 years 6 months ago
2006
Service-oriented development offers a novel architectural approach that addresses crucial characteristics of modern business process development such as dynamic evolution, intra- ...
166
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
We adopt the same mathematical model of a set M of probability measures as is central to the theory of coherent imprecise probability. However, we endow this model with an objecti...
145
click to vote
SIGPLAN
2002
15 years 5 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
151
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
183
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...