677 search results - page 74 / 136 » Rigorous Object-Oriented Analysis |
115
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
81
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
A rigorous analysis of the performance of a blind source extraction structure based on a linear predictor is provided. It is shown that by minimising the mean square prediction er...
104
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
102
Voted
ASWEC
2004
IEEE
15 years 4 months ago
2004
IEEE
Rigorous software process improvement (SPI) assessments are considered by many small software development firms to be too expensive. This paper presents the results from a program...
101
click to vote
CP
2008
Springer
15 years 2 months ago
2008
Springer
When numerical CSPs are used to solve systems of n equations with n variables, the preconditioned interval Newton operator plays two key roles: First it allows handling the n equat...