1990 search results - page 108 / 398 » services 2010 |
292
click to vote
CASCON
2010
15 years 2 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
167
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
130
click to vote
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
Many computations exhibit a trade off between execution time and quality of service. A video encoder, for example, can often encode frames more quickly if it is given the freedom ...
144
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
111
click to vote
ECIR
2010
Springer
15 years 7 months ago
2010
Springer
This paper introduces NETSPEAK, a Web service which assists writers in finding adequate expressions. To provide statistically relevant suggestions, the