Sciweavers

11211 search results - page 1621 / 2243
» Rank-Sensitive Data Structures
Sort
View
WMRD
1990
15 years 11 months ago
Replicated K-Resilient Objects in Arjuna
This paper describes the design of an object replication scheme for the Arjuna distributed system. ThedesignsupportsK-resiliency,where,intheabsenceofnetworkpartitions,Koutofa tota...
Mark C. Little, Santosh K. Shrivastava
ACSC
2007
IEEE
15 years 11 months ago
Cross-Layer Verification of Type Flaw Attacks on Security Protocols
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
Benjamin W. Long, Colin J. Fidge, David A. Carring...
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 11 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...
194
Voted
ASSETS
2007
ACM
15 years 11 months ago
SADIe: exposing implicit information to improve accessibility
The World Wide Web (Web) is a visually complex, multimedia system that can be inaccessible to people with visual impairments. SADIe addresses this problem by using Semantic Web te...
Darren Lunn
CIVR
2010
Springer
295views Image Analysis» more  CIVR 2010»
15 years 11 months ago
Signature Quadratic Form Distance
The Signature Quadratic Form Distance is an adaptive similarity measure for flexible content-based feature representations of multimedia data. In this paper, we present a deep su...
Christian Beecks, Merih Seran Uysal, Thomas Seidl
« Prev « First page 1621 / 2243 Last » Next »