3713 search results - page 557 / 743 » Constructing a Calculus of Programs |
137
Voted
GI
2007
Springer
15 years 9 months 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...
129
click to vote
ICALP
2007
Springer
15 years 9 months 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...
121
click to vote
IFIP
2007
Springer
15 years 9 months 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...
110
click to vote
IFIP
2007
Springer
15 years 9 months 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...
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Potluck is a web user interface (Figure 1) that lets casual users— those without programming skills and data modeling expertise—merge and repurpose heterogeneous Semantic Web d...