Sciweavers

2957 search results - page 7 / 592
» Processing Self Corrections
Sort
View
ICSE
2003
IEEE-ACM
15 years 4 months ago
An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
Dolores M. Zage, Wayne M. Zage
81
Voted
CMSB
2007
Springer
15 years 3 months ago
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...
Andrew Phillips, Luca Cardelli
99
Voted
BPM
2010
Springer
191views Business» more  BPM 2010»
15 years 23 days 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...
PAMI
2010
170views more  PAMI 2010»
14 years 10 months ago
On the Decoding Process in Ternary Error-Correcting Output Codes
—A common way to model multiclass classification problems is to design a set of binary classifiers and to combine them. Error-Correcting Output Codes (ECOC) represent a successfu...
Sergio Escalera, Oriol Pujol, Petia Radeva