Sciweavers

6724 search results - page 41 / 1345
» Models. Models. Models. So What
Sort
View
WDAG
2009
Springer
117views Algorithms» more  WDAG 2009»
14 years 5 months ago
Elastic Transactions
This paper presents elastic transactions, a variant of the transactional model. Upon conflict detection, an elastic transaction might drop what it did so far within a separate tra...
Pascal Felber, Vincent Gramoli, Rachid Guerraoui
AMAI
2006
Springer
13 years 11 months ago
Computational methods for database repair by signed formulae
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Mau...
ICSE
2005
IEEE-ACM
14 years 11 months ago
What you always wanted to know about agile methods but did not dare to ask
A fleet of emerging agile methods is both gaining popularity and generating lots of controversy. Real-world examples argue for (e.g. [4]) and against (e.g. [6]) agile methods. Sev...
Frank Maurer, Grigori Melnik
DIAGRAMS
2004
Springer
14 years 2 months ago
What Can Spider Diagrams Say?
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
Gem Stapleton, John Howse, John Taylor, Simon J. T...