16725 search results - page 3048 / 3345 » Engineering Software Correctness |
159
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: BLAST is one of the most common and useful tools for Genetic Research. This paper describes a software application we have termed Windows .NET Distributed Basic Local ...
173
click to vote
AISS
2010
15 years 2 months ago
2010
The boom of Service oriented architecture is on substantial rise. SOA developers orchestrate individual SOA objects into web services. It has been a dream of software engineers to...
152
Voted
PROMISE
2010
14 years 11 months ago
2010
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...
163
Voted
POPL
2012
ACM
14 years 4 days ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
257
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
In this paper, we present a stream-based mining algorithm for online anomaly prediction. Many real-world applications such as data stream analysis requires continuous cluster opera...