15727 search results - page 2833 / 3146 » Software Engineering - Introduction |
153
click to vote
POPL
2012
ACM
14 years 12 days ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
157
click to vote
VAMOS
2007
Springer
15 years 11 months ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...
175
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...
168
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
270
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...