4167 search results - page 515 / 834 » Regression model checking |
140
Voted
SSS
2009
Springer
15 years 9 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
113
click to vote
ICSE
1995
IEEE-ACM
15 years 8 months ago
1995
IEEE-ACM
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
143
click to vote
ACTA
2007
15 years 4 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
156
Voted
IMCSIT
2010
15 years 1 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
113
click to vote
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
We present a model for predicting HLA class I restricted CTL epitopes. In contrast to almost all other work in this area, we train a single model on epitopes from all HLA alleles a...