Sciweavers

232 search results - page 12 / 47
» Reflection principles in computational logic
Sort
View
PVLDB
2011
13 years 2 months ago
Implementing Performance Competitive Logical Recovery
New hardware platforms, e.g. cloud, multi-core, etc., have led to a reconsideration of database system architecture. Our Deuteronomy project separates transactional functionality ...
David B. Lomet, Kostas Tzoumas, Michael J. Zwillin...
LOBJET
2008
104views more  LOBJET 2008»
13 years 7 months ago
Une approche formelle de la reconfiguration dynamique
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
M. Simonot, M. Aponte
EPIA
2007
Springer
14 years 1 months ago
Modelling Morality with Prospective Logic
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
Luís Moniz Pereira, Ari Saptawijaya
COORDINATION
2004
Springer
14 years 1 months ago
Problem Frames: A Case for Coordination
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...
Leonor Barroca, José Luiz Fiadeiro, Michael...
FLAIRS
2006
13 years 9 months ago
Verbalization Enhanced Tutoring
Intelligent Tutoring Systems (ITS) typically contain elements of instruction, assessment, feedback and guidance for the trainee. Most of the time, the ITS is controlling the dialo...
Christel Kemke, Shamima Mithun