7890 search results - page 1261 / 1578 » The MathSAT 3 System |
179
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
166
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
158
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
Recent efforts to add new services to the Internet have increased interest in software-based routers that are easy to extend and evolve. This paper describes our experiences using...
173
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
A recent trend in interface design for classrooms in developing regions has many students interacting on the same display using mice. Text entry has emerged as an important proble...
165
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...