6751 search results - page 260 / 1351 » Engineering Quality Requirements Using Quality Models |
113
click to vote
IADIS
2003
15 years 3 months ago
2003
Galileo is a European initiative to develop and deploy an independent global satellite-based navigation system. It consists of a Medium Earth Orbit sat ellite constellation transm...
103
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
190
click to vote
TPDS
2002
15 years 1 months ago
2002
Call Admission Control (CAC) plays a significant role in providing the desired Quality of Service (QoS) in cellular networks. Traditional CAC schemes that mainly focus on the trade...
128
click to vote
KDD
2009
ACM
16 years 2 months ago
2009
ACM
Classification is a core task in knowledge discovery and data mining, and there has been substantial research effort in developing sophisticated classification models. In a parall...
100
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
In Internet based commerce, sellers often use multiple distribution channels for the sale of standard consumer goods. We study a model of second degree price discrimination in whi...