536 search results - page 85 / 108 » A computer verified, monadic, functional implementation of t... |
ACMDIS
2004
ACM
15 years 5 months ago
2004
ACM
Toolkits and other tools have dramatically reduced the time and technical expertise needed to design and implement graphical user interfaces (GUIs) allowing high-quality, iterativ...
58
Voted
CHI
2007
ACM
16 years 4 days ago
2007
ACM
The increasing integration of education and technology has led to the development of a range of note-taking applications. Our project's goal is to provide empirical data to g...
MIDDLEWARE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
GRAPHICSINTERFACE
2007
15 years 1 months ago
2007
Acquired data often provides the best knowledge of a material’s bidirectional reflectance distribution function (BRDF). Its integration into most real-time rendering systems re...
JSA
2010
14 years 10 months ago
2010
Effective slack management, i.e. management of unused computing resources, for real-time control tasks mandates to redistribute the available resources between controllers as a f...