2493 search results - page 74 / 499 » Tool Support for Design by Contract |
138
click to vote
INTERACT
2003
15 years 7 months ago
2003
: Curriculum planning for students in a university which offers full-time as well as part-time courses is not a trivial task and is complicated by the fact that students can enrol ...
144
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Web Information Systems (WIS) support the process of retrieving information from sources on the Web and of presenting them as a hypermedia presentation. Most WIS design ogies focu...
143
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
EMFGormas1 is a new approach for modeling Service-oriented Open Multiagent Systems using the MDA Eclipse Technology. It offers a CASE tool based on an unified meta-model for engin...
178
click to vote
DAGSTUHL
1990
15 years 7 months ago
1990
One of the principal advantages of parallelizing a rule-based system, or more generally, any A.I. system, is the ability to pursue alternate search paths concurrently. Conventiona...
153
click to vote
AIME
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...