2797 search results - page 461 / 560 » Code query by example |
117
click to vote
CASCON
1997
15 years 4 months ago
1997
Often, software architects impose a particular style on the software systems they design. For large software systems, they would like to ensure that the design continues to confor...
126
click to vote
IJCAI
1989
15 years 4 months ago
1989
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable adva...
132
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
148
click to vote
EICS
2010
ACM
15 years 3 months ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
105
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
We present a novel systematic method to obtain componentwise ultimate bounds in perturbed sampled-data systems, especially when the perturbations arise due to quantization. The pr...