175 search results - page 1 / 35 » Behavioural Types for Service Integration: Achievements and ... |
ENTCS
2007
13 years 4 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
ISCC
2006
IEEE
13 years 11 months ago
2006
IEEE
Integration of the currently available computing systems and platforms is one of the most envisaged goals achieved by computer scientists, which starts to become a reality nowaday...
ECOWS
2009
Springer
13 years 8 months ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
TAICPART
2006
IEEE
13 years 11 months ago
2006
IEEE
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...