Sciweavers

455 search results - page 28 / 91
» Understanding Counterexamples with explain
Sort
View
104
Voted
IIE
2007
120views more  IIE 2007»
14 years 11 months ago
Words are Silver, Mouse-Clicks are Gold? (or how to optimize the level of language formalization of young students in a Logo-bas
How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...
Evgenia Sendova, Toni Chehlarova, Pavel Boytchev
VLDB
1995
ACM
87views Database» more  VLDB 1995»
15 years 2 months ago
Redo Recovery after System Crashes
: This paper defines a framework for explaining redo recovery after a system crash. In this framework, an installation graph explains the order in which operations must be install...
David B. Lomet, Mark R. Tuttle
SYNTHESE
2008
73views more  SYNTHESE 2008»
14 years 11 months ago
It's in your nature: a pluralistic folk psychology
I suggest a pluralistic account of folk psychology according to which not all predictions or explanations rely on the attribution of mental states, and not all intentional actions ...
Kristin Andrews
UML
1998
Springer
15 years 3 months ago
Literate Modelling - Capturing Business Knowledge with the UML
At British Airways, we have found during several large OO projects documented using the UML that non-technical end-users, managers and business domain experts find it difficult to ...
Jim Arlow, Wolfgang Emmerich, John Quinn
ECIS
2004
15 years 16 days ago
Mobile telecommunications market innovation: the transformation from 2g to 3g
Current research focuses on the dynamics of mobile telecommunications market innovation from the perspectives of technology innovation or service adoption. However,because there i...
Jan Damsgaard, Ping Gao