415 search results - page 76 / 83 » A Case Study Approach to Teaching Component Based Software E... |
COREGRID
2007
Springer
14 years 2 months 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...
IUI
2004
ACM
14 years 2 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...
ICFEM
2007
Springer
14 years 13 days 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...
UIST
1991
ACM
14 years 2 days 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...
LCPC
2007
Springer
14 years 2 months 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...