10 search results - page 2 / 2 » On Global Types and Multi-party Sessions |
IC
2008
13 years 6 months ago
2008
Bandwidth in the Internet is constantly increasing. The last mile problem of the Internet has almost been solved. Multimedia has emerged as a dominant type of traffic on the Intern...
CONCUR
2010
Springer
13 years 6 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
CONCUR
2010
Springer
13 years 6 months ago
2010
Springer
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
CEC
2009
IEEE
13 years 9 months ago
2009
IEEE
Abstract— Memetic algorithms arise as very effective algorithms to obtain reliable and high accurate solutions for complex continuous optimization problems. Nowadays, high dimens...