1860 search results - page 196 / 372 » A Temporal Logic of Robustness |
115
click to vote
WWW
2006
ACM
15 years 7 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
119
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
116
click to vote
ASE
2010
15 years 1 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
113
click to vote
JAPLL
2007
15 years 1 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
142
click to vote
AAMAS
1999
Springer
15 years 1 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...