1398 search results - page 157 / 280 » Ensuring Properties of Interaction Systems |
172
click to vote
FC
2007
Springer
16 years 17 days ago
2007
Springer
A multi-coupon (MC) represents a collection of k coupons that a user can redeem to a vendor in exchange for some goods or services. Nguyen (FC 2006), deepening the ideas of Chen et...
156
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
The ability to generate narrative is of importance to computer systems that wish to use story effectively for entertainment, training, or education. We identify two properties of ...
204
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
The Common Object Request Broker Architecture standardizes a platform- and programming-language-independent distributed object computing environment. It also provides a standard fo...
161
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper proposes a strategy referred to as Stability Overlay (SO) for linear and nonlinear time-varying plants, that provides input/output stability guarantees for a wide se...
160
click to vote
CSCW
2000
ACM
15 years 10 months ago
2000
ACM
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as opâˆ...