7536 search results - page 1186 / 1508 » The CLEAR 2007 Evaluation |
165
click to vote
LCN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Peer-to-peer and mobile networks gained significant attention of both research community and industry. Applying the peer-to-peer paradigm in mobile networks lead to several pr...
194
Voted
LCN
2007
IEEE
16 years 1 months ago
2007
IEEE
The current Internet architecture allows malicious nodes to disguise their origin during denial-of-service attacks with IP spoofing. A well-known solution to identify these nodes...
198
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
167
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
156
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...