Sciweavers

2184 search results - page 178 / 437
» Assistive Embedded Technologies
Sort
View
139
Voted
ASWEC
2009
IEEE
15 years 2 months ago
Integrated Data Mapping for a Software Meta-tool
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...
Jun Huh, John C. Grundy, John G. Hosking, Karen Na...
CISC
2009
Springer
148views Cryptology» more  CISC 2009»
15 years 2 months ago
A DAA Scheme Requiring Less TPM Resources
Abstract. Direct anonymous attestation (DAA) is a special digital signature primitive, which provides a balance between signer authentication and privacy. One of the most interesti...
Liqun Chen
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 7 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
DAC
2011
ACM
14 years 4 months ago
Characterizing within-die and die-to-die delay variations introduced by process variations and SOI history effect
Variations in delay caused by within-die and die-to-die process variations and SOI history effect increase timing margins and reduce performance. In order to develop mitigation te...
Jim Aarestad, Charles Lamech, Jim Plusquellic, Dhr...
CHI
2004
ACM
16 years 5 months ago
The participatory design of a sound and image enhanced daily planner for people with aphasia
Aphasia is a cognitive disorder that impairs speech and language. From interviews with aphasic individuals, their caregivers, and speech-language pathologists, the need was identi...
Karyn Moffatt, Joanna McGrenere, Barbara Purves, M...