9989 search results - page 28 / 1998 » A CLP Approach to Modelling Systems |
111
Voted
ICEIS
2009
IEEE
15 years 1 months ago
2009
IEEE
167
Voted
IJSEKE
2011
14 years 7 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
123
Voted
WSC
1998
15 years 5 months ago
1998
Many simulation models include elements of human decision making which present some difficulty to the simulation modeller. It is often difficult to determine how a human goes abou...
123
Voted
IWC
2007
15 years 3 months ago
2007
This paper describes a model that defines the attributes of domestic systems that lead to system dependability and a user-oriented specification method for support systems based...
127
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...