757 search results - page 129 / 152 » How secure are secure interdomain routing protocols |
NOSSDAV
2004
Springer
14 years 1 months ago
2004
Springer
We are developing a distributed architecture for massivelymultiplayer games. In this paper, we focus on designing a low-latency event ordering protocol, called NEO, for this archi...
JSW
2008
13 years 7 months ago
2008
The effectiveness of current anti-spam systems is limited by the ability of spammers to adapt to filtering techniques and the lack of incentive for mail servers to filter outgoing ...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
UIALL
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we report on ongoing experiments with an advanced multimodal system for applications in architectural design. The system supports uninformed users in entering the rel...
AGENTS
2001
Springer
14 years 7 days ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...