13137 search results - page 431 / 2628 » A Science of Software Design |
189
Voted
BMCBI
2010
15 years 7 months ago
2010
Background: Today, data evaluation has become a bottleneck in chromatographic science. Analytical instruments equipped with automated samplers yield large amounts of measurement d...
160
click to vote
INFSOF
2007
15 years 6 months ago
2007
Citations and related work are crucial in any research to position the work and to build on the work of others. A high citation count is an indication of the influence of speci...
178
click to vote
VSTTE
2005
Springer
16 years 9 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
181
click to vote
CBMS
2004
IEEE
15 years 10 months ago
2004
IEEE
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
208
click to vote
ERLANG
2003
ACM
16 years 2 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...