6751 search results - page 909 / 1351 » Engineering Quality Requirements Using Quality Models |
188
click to vote
ENTCS
2010
15 years 4 months 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...
186
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
137
click to vote
COMPSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
Communication middleware such as MuniCluster provides highlevel communication mechanisms for networked applications through hiding the low-level communication details from the app...
197
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
168
click to vote
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...