1672 search results - page 192 / 335 » Interactive Mathematical Documents |
116
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
148
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Bicycling is an affordable, environmentally friendly alternative transportation mode to motorized travel. A common task performed by bikers is to find good routes in an area, whe...
142
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Web search engines are often presented with user queries that involve comparisons of real-world entities. Thus far, this interaction has typically been captured by users submittin...
124
Voted
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
120
click to vote
ACMDIS
2004
ACM
15 years 10 months ago
2004
ACM
Speech-based applications commonly come with web-based or printed manuals. Alternatively, the dialogue can be designed so that users should be able to start using the application ...