5550 search results - page 732 / 1110 » Different Approaches to Proof Systems |
170
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
173
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Current fully autonomous robots are unable to navigate effectively in visually complex environments due to limitations in sensing and cognition. Full teleoperation using current...
159
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
138
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Poor quality data may be detected and corrected by performing various quality assurance activities that rely on techniques with different efficacy and cost. In this pape...
162
click to vote
ECTEL
2009
Springer
16 years 1 months ago
2009
Springer
Personalization of learning has become a prominent issue in the educational field, at various levels. This article elaborates a different view on personalisation than what usually ...