1676 search results - page 208 / 336 » Formal System Development with KIV |
188
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
195
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
159
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
154
click to vote
ISI
2004
Springer
16 years 7 days ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
206
click to vote
MDM
2004
Springer
16 years 7 days ago
2004
Springer
The decoupling of producers and consumers in time and space in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment and h...