Sciweavers

15783 search results - page 41 / 3157
» Evidence-Based Software Engineering
Sort
View
ENTCS
2010
89views more  ENTCS 2010»
15 years 3 months ago
The Interval Analysis of Multilinear Expressions
Cosimo Laneve, Tudor A. Lascu, Vania Sordoni
ENTCS
2010
66views more  ENTCS 2010»
15 years 3 months ago
Reversible Computer Hardware
Alexis De Vos
ENTCS
2010
68views more  ENTCS 2010»
15 years 3 months ago
Library Concepts for Model Reuse
Markus Herrmannsdörfer, Benjamin Hummel
ENTCS
2010
65views more  ENTCS 2010»
15 years 3 months ago
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Dimitar P. Guelev, Dang Van Hung