1855 search results - page 333 / 371 » Composing model programs for analysis |
146
click to vote
IFIP
2009
Springer
16 years 15 days ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
166
click to vote
CSMR
2007
IEEE
16 years 9 days ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
158
click to vote
EUROMICRO
2007
IEEE
16 years 9 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
178
click to vote
SC
2005
ACM
15 years 11 months ago
2005
ACM
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...
163
click to vote
MICAI
2005
Springer
15 years 11 months ago
2005
Springer
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...