2303 search results - page 336 / 461 » The Cryptographic Abstract Machine |
144
click to vote
RTSS
2005
IEEE
15 years 12 months ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
159
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
231
click to vote
LAMAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Multi-agent systems (MASs) is an area of distributed artiļ¬cial intelligence that emphasizes the joint behaviors of agents with some degree of autonomy and the complexiti...
158
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
We investigate how users interact with the results page of a WWW search engine using eye-tracking. The goal is to gain into how users browse the presented abstracts and how they s...
149
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...