11324 search results - page 27 / 2265 » Coordination Models and Languages |
JPDC
2002
14 years 11 months ago
2002
165
click to vote
POPL
2012
ACM
13 years 7 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...
114
click to vote
ENTCS
2008
14 years 12 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
16 years 12 days ago
2009
ACL Anthology
COORDINATION
2010
Springer
15 years 14 hour 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...