Sciweavers

1033 search results - page 44 / 207
» The Relative History Heuristic
Sort
View
SYNTHESE
2010
97views more  SYNTHESE 2010»
14 years 10 months ago
The analytic-synthetic distinction and the classical model of science: Kant, Bolzano and Frege
This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also ...
Willem R. de Jong
ICDE
2009
IEEE
143views Database» more  ICDE 2009»
16 years 1 months ago
Auditing a Database under Retention Restrictions
Auditing the changes to a database is critical for identifying malicious behavior, maintaining data quality, and improving system performance. But an accurate audit log is a histor...
Wentian Lu, Gerome Miklau
IANDC
2008
81views more  IANDC 2008»
14 years 12 months ago
Universal extensions to simulate specifications
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
Wim H. Hesselink
ICSM
2005
IEEE
15 years 5 months ago
Co-Change Visualization
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
Dirk Beyer
SCHEDULING
2008
97views more  SCHEDULING 2008»
14 years 11 months ago
Effective on-line algorithms for reliable due date quotation and large-scale scheduling
We consider the sequencing of a series of jobs that arrive at a single processor over time. At each job's arrival time, a due date must be quoted for the job, and the job must...
Philip Kaminsky, Zu-Hsu Lee