1615 search results - page 64 / 323 » What's new |
WDAG
2009
Springer
14 years 4 months ago
2009
Springer
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...
TLCA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
In this paper it is explained what Knowledge Management (KM) is and why it will play an important role in the future. This implies that KM is indeed more than just the sophisticate...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
In this paper, we explore the problems associated with exception handling from a new dimension: the human. We designed a study that evaluates (1) different perspectives of softwar...
CCIA
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we extend the notion of multi-unit combinatorial reverse auction by adding a new dimension to the goods at auction. In such a new type of combinatorial auction a buye...