2004 search results - page 223 / 401 » Comparison of Model Checking Tools for Information Systems |
143
click to vote
WSC
1998
15 years 7 months ago
1998
Incorporation into construction engineering and management curricula of tasks that improve the abilities of students to manage the complex dynamics, pressures, and demands of cons...
172
click to vote
ESWA
2008
15 years 6 months ago
2008
Recommender systems base their operation on past user ratings over a collection of items, for instance, books, CDs, etc. Collaborative filtering (CF) is a successful recommendatio...
158
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...
179
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
151
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...