6293 search results - page 856 / 1259 » Information Flow Testing |
150
Voted
CHI
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents narrative pictograms, diagrams designed to convey the abstract concepts of a software agreement. Narrative pictograms arose out of a need to increase the chanc...
177
Voted
ETRA
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we predict the relevance of images based on a lowdimensional feature space found using several users’ eye movements. Each user is given an image-based search task,...
184
Voted
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
A significant focus in the United States recently has been to increase engagement and interest in STEM curricula, particularly among girls and underrepresented minorities [3]. In ...
158
Voted
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In the United States, congress has set goals for the diffusion of e-government initiatives. One of congress goals for 2007 was for 80% of tax and informational returns to be fil...
212
Voted
SAC
2009
ACM
16 years 1 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...