Sciweavers

1450 search results - page 181 / 290
» Common knowledge revisited
Sort
View
IEEEARES
2008
IEEE
16 years 14 days ago
Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
Zhiyao Liang, Rakesh M. Verma
RTAS
2008
IEEE
16 years 13 days ago
A Modular Worst-case Execution Time Analysis Tool for Java Processors
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
Trevor Harmon, Martin Schoeberl, Raimund Kirner, R...
SMI
2008
IEEE
131views Image Analysis» more  SMI 2008»
16 years 13 days ago
Segmentation-free skeletonization of grayscale volumes for shape understanding
Medical imaging has produced a large number of volumetric images capturing biological structures in 3D. Computer-based understanding of these structures can often benefit from th...
Sasakthi S. Abeysinghe, Matthew L. Baker, Wah Chiu...
WETICE
2008
IEEE
16 years 12 days ago
Integrating Overlay and Social Networks for Seamless P2P Networking
In this paper we introduce Social VPNs, a novel system architecture which leverages existing social networking infrastructures to enable ad-hoc VPNs which are self-configuring, s...
Renato J. O. Figueiredo, P. Oscar Boykin, Pierre S...
AIMS
2008
Springer
16 years 12 days ago
Towards Resilient Community Wireless Mesh Networks
Abstract. Wireless Mesh Networks are an increasingly common technology providing connectivity in many communities, particularly where Internet access is unavailable or restricted v...
Sara Bury, Nicholas J. P. Race