2473 search results - page 272 / 495 » The Logic of Communication Graphs |
185
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Packet classification is one of the major challenges in designing high-speed routers and firewalls as it involves sophisticated multi-dimensional searching. Ternary Content Address...
154
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
156
click to vote
IFIP
2005
Springer
16 years 4 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
195
click to vote
IFIP
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
151
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...