10241 search results - page 1871 / 2049 » Goal-Driven Software Development |
129
click to vote
ISW
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Android is a modern and popular software platform for smartphones. Among its predominant features is an advanced security model which is based on application-oriented man...
155
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
135
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Many online resources for the life sciences have been developed and introduced in peer-reviewed papers recently, ranging from databases and web applications to data-an...
108
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Simple Sequence Repeat (SSR) or microsatellite markers are valuable for genetic research. Experimental methods to develop SSR markers are laborious, time consuming and...
201
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...