Sciweavers

151 search results - page 3 / 31
» Appliance Displays: Accessibility Challenges and Proposed So...
Sort
View
CRV
2009
IEEE
132views Robotics» more  CRV 2009»
15 years 3 months ago
Canine Pose Estimation: A Computing for Public Safety Solution
In this paper we discuss determining canine pose in the context of common poses observed in Urban Search and Rescue dogs through the use a sensor network made up of accelerometers...
Cristina Ribeiro, Alexander Ferworn, Mieso K. Denk...
ICPP
2007
IEEE
15 years 5 months ago
Architectural Challenges in Memory-Intensive, Real-Time Image Forming
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
Anders Ahlander, H. Hellsten, K. Lind, J. Lindgren...
104
Voted
VSTTE
2010
Springer
14 years 9 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
DNIS
2010
Springer
269views Database» more  DNIS 2010»
15 years 2 months ago
Data Management Challenges in Cloud Computing Infrastructures
Abstract. The challenge of building consistent, available, and scalable data management systems capable of serving petabytes of data for millions of users has confronted the data m...
Divyakant Agrawal, Amr El Abbadi, Shyam Antony, Su...
CHI
2009
ACM
15 years 11 months ago
Real life challenges in access-control management
In this work we ask the question: what are the challenges of managing a physical or file system access-control policy for a large organization? To answer the question, we conducte...
Lujo Bauer, Lorrie Faith Cranor, Robert W. Reeder,...