15416 search results - page 2695 / 3084 » Embeddings of Computable Structures |
142
Voted
ISCC
2005
IEEE
16 years 13 days ago
2005
IEEE
Network firewalls remain the forefront defense for most computer systems. These critical devices filter traffic by comparing arriving packets to a list of rules, or security po...
176
click to vote
ISORC
2005
IEEE
16 years 13 days ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
175
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...
184
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
187
Voted
P2P
2005
IEEE
16 years 13 days ago
2005
IEEE
The success of the P2P idea has created a huge diversity of approaches, among which overlay networks, for example, Gnutella, Kazaa, Chord, Pastry, Tapestry, P-Grid, or DKS, have r...