2092 search results - page 46 / 419 » A Theory of Non-Deterministic Networks |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In our previous work [1, 2] we studied detection of anomalies in packet arrival times for computer networks, most detection of denialof-service (DoS) attacks in Internet traffic....
KI
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. In Distributed Problem-solving (DPS) systems a group of purposefully designed computational agents interact and co-ordinate their activities so as to jointly achieve a gl...
ICCAD
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper presents a novel approach for post-mapping optimization. We exploit the concept of generalized matching, a technique that nds symbolically all possible matching assignm...
EUROCRYPT
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper studies the gaps that exist between cryptography as studied in theory, as defined in standards, as implemented by software engineers, and as actually consumed ...
JFP
2010
14 years 8 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...