5639 search results - page 472 / 1128 » Timed Abstract Non-interference |
161
Voted
ITICSE
2005
ACM
15 years 10 months 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...
140
Voted
ECOOP
2005
Springer
15 years 10 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...
136
click to vote
SIGIR
2004
ACM
15 years 10 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...
127
click to vote
SIGSOFT
2004
ACM
15 years 10 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ï...
122
click to vote
EMSOFT
2004
Springer
15 years 10 months 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...