5639 search results - page 472 / 1128 » Timed Abstract Non-interference |
210
Voted
ITICSE
2005
ACM
16 years 13 days ago
2005
ACM
The complexity of languages like Java and C++ can make introductory programming classes in these languages extremely challenging for many students. Part of the complexity comes fr...
177
click to vote
ECOOP
2005
Springer
16 years 12 days 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...
176
Voted
SIGIR
2004
ACM
16 years 9 days 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...
166
click to vote
SIGSOFT
2004
ACM
16 years 9 days 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ï...
160
Voted
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...