1685 search results - page 332 / 337 » Commonality and Variability in Software Engineering |
DAC
2005
ACM
14 years 10 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
WWW
2008
ACM
14 years 10 months ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Two important architectural choices underlie the success of the Web: numerous, independently operated servers speak a common protocol, and a single type of client--the Web browser...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
We introduce the interaction library Squidy, which eases the design of natural user interfaces by unifying relevant frameworks and toolkits in a common library. Squidy provides a ...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
Understanding the relation between usability measures seems crucial to deepen our conception of usability and to select the right measures for usability studies. We present a meta...