1829 search results - page 326 / 366 » Towards Validation of Requirements Models |
150
click to vote
KDD
2001
ACM
16 years 4 months ago
2001
ACM
Predictive models developed by applying Data Mining techniques are used to improve forecasting accuracy in the airline business. In order to maximize the revenue on a flight, the ...
133
click to vote
ALT
2004
Springer
16 years 1 months ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
157
click to vote
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
173
click to vote
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
The success of Skype has inspired a generation of peer-topeer-based solutions for satisfactory real-time multimedia services over the Internet. However, fundamental questions, suc...
139
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...