Sciweavers

1592 search results - page 5 / 319
» The state of the email address
Sort
View
SNPD
2004
13 years 8 months ago
Addressing State Explosion in Behavior Protocol Verification
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
Martin Mach, Frantisek Plasil
AAI
2005
106views more  AAI 2005»
13 years 7 months ago
The Empathic Companion: A Character-Based Interface That Addresses Users' Affective States
In this paper, we report on our efforts in developing affective character-based interfaces, i.e. interfaces that recognize and measure affective information of the user and addres...
Helmut Prendinger, Mitsuru Ishizuka
IAT
2003
IEEE
14 years 9 days ago
EMMA: An E-Mail Management Assistant
In this paper, we describe EMMA (E-Mail Management Assistant), an e-mail system that addresses the process of e-mail management, from initially sorting messages into virtual folde...
Van Hai Ho, Wayne Wobcke, Paul Compton
CEAS
2006
Springer
13 years 10 months ago
Algorithmically Determining Store-and-Forward MTA Relays Using DomainKeys
Store-and-forward MTA relaying servers have frequently presented problems to various antispam techniques, such as IPbased reputation or email authentication. Algorithms that find ...
Miles Libbey, Peter Ludemann
SDM
2007
SIAM
89views Data Mining» more  SDM 2007»
13 years 8 months ago
Preventing Information Leaks in Email
The widespread use of email has raised serious privacy concerns. A critical issue is how to prevent email information leaks, i.e., when a message is accidentally addressed to non-...
Vitor R. Carvalho, William W. Cohen