6608 search results - page 1077 / 1322 » On the Completeness of Model Checking |
171
click to vote
AIED
2007
Springer
16 years 25 days ago
2007
Springer
In many intelligent tutoring systems, a detailed model of the task domain is constructed and used to provide students with assistance and direction. Reciprocal tutoring systems, h...
166
click to vote
CD
2004
Springer
16 years 1 days ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
158
click to vote
PG
2003
IEEE
15 years 12 months ago
2003
IEEE
A method is proposed in this paper to automatically generate the animation skeleton of a model such that the model can be manipulated according to the skeleton. With our method, u...
165
click to vote
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
282
click to vote
SIGAL
1990
15 years 10 months ago
1990
We propose and analyse a quasirandom analogue to the classical push model for disseminating information in networks ("randomized rumor spreading"). In the classical mode...