2586 search results - page 285 / 518 » Automatic Abstraction for Congruences |
232
click to vote
BXML
2004
15 years 8 months ago
2004
Abstract: Engineering personalized ubiquitous Web applications requires to develop adaptable Web content as well as to automatically adjust it to varying client devices and dynamic...
197
click to vote
CADUI
2006
15 years 8 months ago
2006
Abstract In this paper we describe MultiModal WebRemUsine, a tool for remote usability evaluation of Web sites that considers data regarding the user behaviour coming from multiple...
138
click to vote
DBSEC
2004
15 years 8 months ago
2004
Storage-area networks are a popular and efficient way of building large storage systems both in an enterprise environment and for multi-domain storage service providers. In both en...
164
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
202
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. We propose a new adaptive algorithm for the exact simultaneous resolution of several triangular systems over finite fields: it is composed of several practicable variants...