Sciweavers

2429 search results - page 394 / 486
» A Requirement Engineering Approach to User Centered Design
Sort
View
SIGSOFT
2010
ACM
15 years 2 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
CHI
2010
ACM
15 years 11 months ago
The infrastructure problem in HCI
HCI endeavors to create human-centered computer systems, but underlying technological infrastructures often stymie these efforts. We outline three specific classes of user experie...
W. Keith Edwards, Mark W. Newman, Erika Shehan Poo...
CHI
1999
ACM
15 years 8 months ago
Implementing Interface Attachments Based on Surface Representations
This paper describes an architecture for supporting interface attuchments- small interactive programs which are designed to augment the functionality of other applications. This a...
Dan R. Olsen, Scott E. Hudson, Thom Verratti, Jere...
ACSAC
2003
IEEE
15 years 9 months ago
Making Secure TCP Connections Resistant to Server Failures
Methods are presented to increase resiliency to server failures by migrating long running, secure TCP-based connections to backup servers, thus mitigating damage from servers disa...
Hailin Wu, Andrew Burt, Ramki Thurimella
JAR
2006
103views more  JAR 2006»
15 years 4 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan