4281 search results - page 666 / 857 » How to Disembed a Program |
131
click to vote
GI
2007
Springer
15 years 8 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...
105
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
We consider several private database query problems. The starting point of this work is the element rank problem: the server holds a database of n integers, and the user an integer...
96
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
99
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
101
Voted
ICSOC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Service oriented architectures (SOA) are becoming reality in a corporate environment. Rather than pure technology improvements SOA intends to increase manageability and s...