57 search results - page 4 / 12 » Evaluation of Correctness Criteria for Dynamic Workflow Chan... |
BMCBI
2007
13 years 8 months ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...
FAABS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
PROMISE
2010
13 years 3 months ago
2010
Background. Software defect prediction has been one of the central topics of software engineering. Predicted defect counts have been used mainly to assess software quality and est...
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Business processes provide a means of coordinating interactions between workers and organisations in a structured way. However the dynamic nature of the modern business e...
TAP
2007
Springer
14 years 2 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...