51 search results - page 2 / 11 » On Expressing and Monitoring Behaviour in Contracts |
109
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...
COORDINATION
2010
Springer
15 years 1 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...
112
Voted
ESOP
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
107
click to vote
ENTCS
2007
15 years 1 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
95
Voted
CISIS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...