415 search results - page 76 / 83 » A Case Study Approach to Teaching Component Based Software E... |
179
Voted
COREGRID
2007
Springer
16 years 16 days ago
2007
Springer
This paper deals with one of the fundamental properties of grid computing – transferring code between grid nodes and executing it remotely on heterogeneous hosts. Contemporary mi...
172
Voted
IUI
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes an attempt to reveal the user’s intention from dialogue acts, thereby improving the effectiveness of natural interfaces to pedagogical agents. It focuses o...
178
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
268
Voted
UIST
1991
ACM
15 years 10 months ago
1991
ACM
The Polhemus Isotrak is often used as an orientation and position tracking device in virtual reality environments. When it is used to dynamically determine the user's viewpoi...
184
Voted
LCPC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...