770 search results - page 107 / 154 » Experience in e-Science Requirements Engineering |
102
click to vote
SOUPS
2005
ACM
15 years 4 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 ...
205
click to vote
PLDI
2009
ACM
15 years 11 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...
84
Voted
VSTTE
2010
Springer
14 years 9 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...
107
click to vote
IUI
2011
ACM
14 years 1 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. ...
KBSE
2003
IEEE
15 years 4 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...