51 search results - page 6 / 11 » On Expressing and Monitoring Behaviour in Contracts |
ROBOCUP
2009
Springer
14 years 3 months ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
ICTAC
2009
Springer
13 years 6 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
ER
2007
Springer
14 years 2 months ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
FSTTCS
2006
Springer
14 years 6 days ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...