154 search results - page 14 / 31 » A Theory of Runtime Enforcement, with Results |
CP
2000
Springer
14 years 23 days ago
2000
Springer
We perform a comprehensive theoretical and empirical study of the benefits of singleton consistencies. Our theoretical results help place singleton consistencies within the hierar...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
The need for sharing is well known in a large number of distributed applications. These applications are difficult to develop either for fully wired or mobile wireless networks. ...
CEC
2007
IEEE
14 years 13 days ago
2007
IEEE
Cooperation enforcement is one of the key issues in ad hoc networks. In this paper we proposes a new strategy driven approach that aims at discouraging selfish behavior among netwo...