3330 search results - page 213 / 666 » software 2010 |
123
Voted
ENTCS
2007
15 years 2 months ago
2007
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
135
click to vote
ENTCS
2010
15 years 13 hour ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
112
click to vote
CCE
2010
15 years 2 days ago
2010
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...
168
Voted
WCRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—We present a semi-automated approach for the reverse engineering of UML sequence diagrams. Our approach starts with a set of execution traces that are automatically aligned in o...
155
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...