1173 search results - page 70 / 235 » On the Compositionality of Round Abstraction |
203
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
177
click to vote
WISE
2008
Springer
16 years 16 days ago
2008
Springer
Abstract. Whilst Web services can be composed by technical developers using a language such as BPEL, there is no easy way for non-technical end users to take advantage of these ser...
159
click to vote
TSD
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Pronunciation by analogy (PbA) is a data-driven approach to phonetic transcription that generates pronunciations for unknown words by exploiting the phonological knowledg...
153
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...
161
click to vote
PVM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. To practically solve NP-hard combinatorial optimization problems, local search algorithms and their parallel implementations on PVM or MPI have been frequently discussed....