770 search results - page 107 / 154 » Experience in e-Science Requirements Engineering |
170
click to vote
SOUPS
2005
ACM
15 years 11 months ago
2005
ACM
In this article, we describe the design process of Reno, a location-enhanced, mobile coordination tool and person finder. The design process included three field experiments: a ...
302
Voted
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
162
click to vote
VSTTE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
176
click to vote
IUI
2011
ACM
14 years 8 months ago
2011
ACM
We describe a new sketch recognition framework for chemical structure drawings that combines multiple levels of visual features using a jointly trained conditional random field. ...
160
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...