4480 search results - page 822 / 896 » Prototyping Completion with Constraints Using Computational ... |
182
click to vote
TLCA
2009
Springer
16 years 20 days ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
145
click to vote
NSDI
2007
15 years 8 months ago
2007
The network and distributed systems research communities have an increasing need for “replayable” research, but our current experimentation resources fall short of reaching th...
194
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
149
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
When designing questionnaires there is a tradition of including items with both positive and negative wording to minimize acquiescence and extreme response biases. Two disadvantag...
177
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
Collaborative visual analysis tools can enhance sensemaking by facilitating social interpretation and parallelization of effort. These systems enable distributed exploration and e...