Sciweavers

3514 search results - page 602 / 703
» Evolving Specification Engineering
Sort
View
ESOP
2010
Springer
14 years 6 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
CHI
2010
ACM
14 years 4 months ago
Gender demographic targeting in sponsored search
In this research, we evaluate the effect of gender in analyzing the performance of sponsored search advertising. We examine a log file with data comprised of nearly 7,000,000 reco...
Bernard J. Jansen, Lauren Solomon
TEI
2010
ACM
216views Hardware» more  TEI 2010»
14 years 4 months ago
TouchTone: an electronic musical instrument for children with hemiplegic cerebral palsy
Children with hemiplegic cerebral palsy often lack the physical skills to explore their environment independently, express feelings, communicate, and successfully participate in s...
Soumitra Bhat
SC
2009
ACM
14 years 4 months ago
Building the PolarGrid portal using web 2.0 and OpenSocial
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
Zhenhua Guo, Raminderjeet Singh, Marlon E. Pierce
ICHIT
2009
Springer
14 years 3 months ago
Middleware-based distributed systems software process
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
Liu Jingyong, Zhong Yong, Chen Yong, Zhang Lichen