4744 search results - page 414 / 949 » Connected Computing |
163
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
While a variety of mechanisms have been developed for securing individual intra-domain protocols, none address the issue in a holistic manner. We develop a unified framework to sec...
139
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
134
click to vote
WCNC
2010
IEEE
15 years 9 months ago
2010
IEEE
— Broadband wireless access networks have received tremendous attention in terms of research and development in the recent years. There have also been test networks deployed in m...
118
Voted
GRAPHITE
2007
ACM
15 years 9 months ago
2007
ACM
: Communicating the ethos of a subject (e.g. a brand or cultural or historical narrative) within an environment, such as a museum or visitor centre, is often undermined by the poor...
147
Voted
BROADNETS
2004
IEEE
15 years 8 months ago
2004
IEEE
In IP-over-WDM networks, a logical IP network has to be routed on top of a physical optical fiber network. An important challenge hereby is to make the routing survivable. We call...