4491 search results - page 462 / 899 » Algorithm Engineering |
137
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
172
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...
189
click to vote
MOBIQUITOUS
2008
IEEE
15 years 11 months ago
2008
IEEE
A fundamental requirement for autonomic computing is to be able to automatically infer how human users react in similar contextual conditions. This paper examines the problem of a...
117
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
161
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...