1696 search results - page 165 / 340 » Knowledgeable development environments using shared design m... |
183
click to vote
CAV
1997
Springer
15 years 10 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
181
click to vote
IIE
2006
15 years 6 months ago
2006
Abstract. The use of Information and Communication Technology (ICT) in education is one important competence that student teacher should develop in their academic studies. To be ca...
169
click to vote
CBMS
2006
IEEE
16 years 17 days ago
2006
IEEE
Computer based clinical guidelines have been developed to help caregivers in practicing medicine. GLIF3 (Guideline Interchange Format 3) is one of several standards that specify t...
173
click to vote
ICALT
2005
IEEE
16 years 4 days ago
2005
IEEE
: The development of cooperative, flexible and reusable learning environments is a need in modern education. The IMS Learning Design specification has played a very important role ...
162
click to vote
SIGDOC
2006
ACM
16 years 14 days ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...