5090 search results - page 705 / 1018 » Constructing Strategies for Programming |
209
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
194
Voted
GI
2007
Springer
16 years 26 days ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
176
Voted
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We give an fpt approximation algorithm for the directed vertex disjoint cycle problem. Given a directed graph G with n vertices and a positive integer k, the algorithm co...
165
click to vote
IFIP
2007
Springer
16 years 25 days ago
2007
Springer
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...
148
click to vote
IFIP
2007
Springer
16 years 25 days ago
2007
Springer
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...