3868 search results - page 445 / 774 » Open Systems in TLA |
143
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
In recent years information systems such as digital repositories, built to support research practice, have struggled to encourage participation partly due to inadequate analysis of...
153
click to vote
INTETAIN
2009
Springer
16 years 1 months ago
2009
Springer
The current work presents the affective interface adaptations in the Musickiosk application. Adaptive interaction poses several open questions since there is no unique way of mappi...
215
click to vote
IPOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Flow-based intrusion detection has recently become a promising security mechanism in high speed networks (1-10 Gbps). Despite the richness in contributions in this field...
182
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...
204
click to vote
CSE
2008
IEEE
16 years 1 months ago
2008
IEEE
E-mail services are essential in the Internet. However, the basic e-mail architecture presents problems that opens it to several threats. Alternatives have been proposed to solve ...