Sciweavers

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