3954 search results - page 513 / 791 » Image-based Model Completion |
169
Voted
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
151
click to vote
TCC
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Protocols for deniable authentication achieve seemingly paradoxical guarantees: upon completion of the protocol the receiver is convinced that the sender authenticated th...
115
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Recently proposed novel interaction techniques such as cursor jumping [1] and target expansion for tiled arrangements [13] are predicated on an ability to effectively estimate the...
133
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
There exist several user interface widgets that dynamically grow in size in response to the user's focus of attention. Some of these, such as icons in toolbars, expand to fac...
128
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Whether common ancestors of eukaryotes and prokaryotes had introns is one of the oldest unanswered questions in molecular evolution. Recently completed genome sequences have been u...