4770 search results - page 388 / 954 » Flexible Type Analysis |
179
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
191
click to vote
IUI
2010
ACM
16 years 4 months ago
2010
ACM
We present rush as a recommendation-based interaction and visualization technique for repeated item selection from large data sets on mobile touch screen devices. Proposals and ch...
210
click to vote
SIGCSE
2010
ACM
16 years 2 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 ...
182
click to vote
CIKM
2009
Springer
16 years 2 months ago
2009
Springer
This paper presents a tree-pattern-based method of automatically and accurately finding code clones in program files. Duplicate tree-patterns are first collected by anti-unificati...
254
click to vote
MDM
2009
Springer
16 years 2 months ago
2009
Springer
Indoor navigation highly depends on context and requires flexible data structures to support the many use cases and configurations. For example, an indoor navigation system must c...