2786 search results - page 431 / 558 » A broader approach to personalization |
153
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
188
click to vote
UM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
163
click to vote
CF
2004
ACM
15 years 11 months ago
2004
ACM
Next generation architectures will require innovative solutions to reduce energy consumption. One of the trends we expect is more extensive utilization of compiler information dir...
157
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
The advantages of a COG (Component Object Graphic) approach to the composition of PDF pages have been set out in a previous paper [1]. However, if pages are to be composed in this...
223
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...