2227 search results - page 141 / 446 » Reversibility and Models for Concurrency |
151
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we present a multi-criteria model for electronic auctions, which is based on reference points. According to the model, the buyer must specify an aspiration point tha...
143
click to vote
EICS
2010
ACM
15 years 10 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
154
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Lidar waveforms are 1D signal consisting of a train of echoes where each of them correspond to a scattering target of the Earth surface. Modeling these echoes with the appropriate...
141
click to vote
TGC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
207
Voted
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...