2493 search results - page 74 / 499 » Tool Support for Design by Contract |
INTERACT
2003
14 years 11 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 ...
WWW
2004
ACM
15 years 10 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...
ATAL
2010
Springer
14 years 11 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...
DAGSTUHL
1990
14 years 11 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...
AIME
2007
Springer
15 years 4 months 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...