Sciweavers

19936 search results - page 315 / 3988
» Inductive process modeling
Sort
View
154
Voted
ICECCS
2010
IEEE
105views Hardware» more  ICECCS 2010»
15 years 5 months ago
On Immunological Memory as a Function of a Recursive Proliferation Process
—We present a model that explains immunological memory as a consequence of the recursive proliferation of reactive and suppressive cells, where the relative proportion of these c...
Thomas Stibor, Anastasio Salazar-Bañuelos
IAJIT
2010
154views more  IAJIT 2010»
15 years 5 months ago
Impact of CMMI Based Software Process Maturity on COCOMO II's Effort Estimation
: The software capability maturity model has become a popular model for enhancing software development processes with the goal of developing high-quality software within budget and...
Majed Al Yahya, Rodina Ahmad, Sai Lee
MICAI
2000
Springer
15 years 10 months ago
Searching for a Solution to Program Verification=Equation Solving in CCS
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
Raul Monroy, Alan Bundy, Ian Green
IDA
2010
Springer
15 years 8 months ago
Oracle Coached Decision Trees and Lists
This paper introduces a novel method for obtaining increased predictive performance from transparent models in situations where production input vectors are available when building...
Ulf Johansson, Cecilia Sönströd, Tuve L&...
BPM
2010
Springer
191views Business» more  BPM 2010»
15 years 7 months ago
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
Wil M. P. van der Aalst, Niels Lohmann, Marcello L...