14331 search results - page 30 / 2867 » On the modeling and analysis of obligations |
130
Voted
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...
105
Voted
AAMAS
2008
Springer
15 years 2 months ago
2008
Springer
We present the MOdel of Organisational Change using Agents (MOCHA) as a means to formally specify, check and simulate organisations and their changes using agents. We define the s...
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
—Access control models describe frameworks that dictate how subjects (e.g. users) access resources. In the Role-Based Access Control (RBAC) model access to resources is based on ...
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
120
Voted
EXPERT
2006
15 years 1 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...