6348 search results - page 912 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
154
click to vote
AVI
2008
15 years 9 months ago
2008
Previous studies have demonstrated the importance of providing users with a coherent environment across distant sites. To date, it remains unclear how such an environment affects ...
180
click to vote
AVI
2008
15 years 9 months ago
2008
Mixed interactive systems seek to smoothly merge physical and digital worlds. In this paper we focus on mixed objects that take part in the interaction. Based on our Mixed Interac...
199
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
150
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
183
click to vote
ARCS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A major problem considering parallel computing is maintaining memory consistency and coherency, and ensuring ownership and access rights. These problems mainly arise from...