2403 search results - page 272 / 481 » Using the WinWin Spiral Model: A Case Study |
138
click to vote
ISSTA
2006
ACM
16 years 15 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
164
click to vote
KAIS
2007
15 years 6 months ago
2007
Analyzing the quality of data prior to constructing data mining models is emerging as an important issue. Algorithms for identifying noise in a given data set can provide a good me...
168
click to vote
ECIS
2001
15 years 8 months ago
2001
Giddens' structuration theory (ST) offers an account of social life in terms of social practices developing and changing over time and space, which makes no attempt to direct...
178
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The paper has two objectives. The first is to study rigorously the transient behavior of some P2P networks where information is replicated and disseminated according to an epidemic...
181
click to vote
PE
2007
Springer
15 years 6 months ago
2007
Springer
To develop simple traffic engineering rules for the downlink of a cellular system using Proportional Fairness (PF) scheduling, we study the “strict” and “approximate” ins...