4048 search results - page 724 / 810 » Design Science, Engineering Science and Requirements Enginee... |
181
click to vote
PPOPP
2005
ACM
16 years 1 months ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
174
click to vote
SMA
2005
ACM
16 years 1 months ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
169
Voted
UIST
2005
ACM
16 years 1 months ago
2005
ACM
Knowledge workers use paper extensively for document reviewing and note-taking due to its versatility and simplicity of use. As users annotate printed documents and gather notes, ...
206
Voted
AIED
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
202
click to vote
EMSOFT
2005
Springer
16 years 29 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...