575 search results - page 64 / 115 » Transition systems for designing and reasoning about norms |
114
click to vote
EUROPAR
2003
Springer
15 years 4 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
RE
2007
Springer
15 years 5 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
MMMACNS
2005
Springer
15 years 5 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
105
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...