Sciweavers

212 search results - page 43 / 43
» Supporting fault tolerance in a data-intensive computing mid...
Sort
View
ICALT
2005
IEEE
13 years 10 months ago
ActiveTutor
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
Jean Pierre Fournier
EMSOFT
2011
Springer
12 years 4 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger