12050 search results - page 1826 / 2410 » Modeling and Simulation |
216
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
307
click to vote
ICCI
1993
15 years 11 months ago
1993
Locking and timestamping are two popular approaches to concurrency control in databases systems. Although more than a dozen analytic performance studies of locking techniques have...
200
click to vote
ISCA
1992
IEEE
15 years 11 months ago
1992
IEEE
Relaxed memory consistency models, such as release consistency, were introduced in order to reduce the impact of remote memory access latency in both software and hardware distrib...
177
click to vote
ACMACE
2007
ACM
15 years 11 months ago
2007
ACM
In this workshop we investigate a possible role of brain-computer interaction in computer games and entertainment computing. The assumption is that brain activity, whether it is c...
174
click to vote
ACMICEC
2007
ACM
15 years 11 months ago
2007
ACM
While argumentation-based negotiation has been accepted as a promising alternative to game-theoretic or heuristic based negotiation, no evidence has been provided to confirm this ...