6751 search results - page 225 / 1351 » Engineering Quality Requirements Using Quality Models |
125
click to vote
DSRT
2003
IEEE
15 years 7 months ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...
118
click to vote
STTT
2010
14 years 8 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
133
click to vote
AAAI
2007
15 years 4 months ago
2007
In this paper, we develop and evaluate several probabilistic models of user click-through behavior that are appropriate for modeling the click-through rates of items that are pres...
GI
2004
Springer
15 years 7 months ago
2004
Springer
: Telepathology allows pathologists to acquire, analyze and exchange high quality digital histological images for diagnostic and teaching purposes. Concrete applications in this ar...
121
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...