424 search results - page 51 / 85 » Realizability models and implicit complexity |
WISE
2005
Springer
14 years 2 months ago
2005
Springer
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...
RTCSA
2000
IEEE
14 years 1 months ago
2000
IEEE
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...
CEEMAS
2007
Springer
14 years 18 days ago
2007
Springer
Multi-Agent Systems (MAS) in health-care domains are showing a rapid increase, in order to manage complex tasks and adapt gracefully to unexpected events. On the other hand, the la...
AAAI
2007
13 years 11 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...