15777 search results - page 2399 / 3156 » Software Engineering |
177
click to vote
FOSSACS
2003
Springer
16 years 19 days ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
186
click to vote
FSTTCS
2003
Springer
16 years 19 days ago
2003
Springer
We consider infinitary two-player perfect information games defined over graphs of configurations of a pushdown automaton. We show how to solve such games when winning condition...
187
click to vote
FSTTCS
2003
Springer
16 years 19 days ago
2003
Springer
For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the existential theory of word equations is preserved under graph products. Furthermore...
201
click to vote
FSTTCS
2003
Springer
16 years 19 days ago
2003
Springer
Recently, Jain, Mahdian and Saberi [5] had given a FPTAS for the problem of computing a market equilibrium in the Arrow-Debreu setting, when the utilities are linear functions. The...
208
click to vote
ICCBSS
2003
Springer
16 years 19 days ago
2003
Springer
Among the main activities involved in COTS-based development there are identification, evaluation, and selection of COTS products. Several techniques have been developed for these ...