11324 search results - page 27 / 2265 » Coordination Models and Languages |
JPDC
2002
13 years 7 months ago
2002
POPL
2012
ACM
12 years 3 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
ENTCS
2008
13 years 7 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
EACL
2009
ACL Anthology
14 years 8 months ago
2009
ACL Anthology
COORDINATION
2010
Springer
13 years 7 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...