2227 search results - page 9 / 446 » Reversibility and Models for Concurrency |
79
Voted
WECWIS
2008
IEEE
15 years 3 months ago
2008
IEEE
Reverse pricing as a special form of dynamic pricing has become a growing interest in e-commerce. It gives buyers an active role: The price of a transaction is not given by the su...
MPC
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
JAPLL
2008
14 years 9 months ago
2008
In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...
108
Voted
FM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
DAGSTUHL
2004
14 years 11 months ago
2004
