12774 search results - page 320 / 2555 » A Framework for Proof Systems |
168
click to vote
DSVIS
2000
Springer
15 years 11 months ago
2000
Springer
This article proposes a framework that will help analyze current and future output multimodal user interfaces. We first define an output multimodal system. We then present our fram...
149
click to vote
ISTA
2004
15 years 8 months ago
2004
: The paper concerns the problem of building an object-relational mapping framework based on the Microsoft .Net platform. The work uses design patterns methodology and proposes to ...
227
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In this paper we present a rule-based personalization framework for encapsulating and combining personalization algorithms known from adaptive hypermedia and recommender ...
182
click to vote
ICDCS
2005
IEEE
16 years 11 days ago
2005
IEEE
Data reliability of distributed brick storage systems critically depends on the replica placement policy, and the two governing forces are repair speed and sensitivity to multiple...
206
click to vote
APSCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...