2041 search results - page 104 / 409 » Modelling Generic Judgements |
175
click to vote
IJSEKE
2011
14 years 8 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...
136
Voted
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper describes work in progress to extend component models to support Master-Worker applications and to let them to be executed on Grid infrastructures. The proposed appr...
119
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
146
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
128
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— The development of applications that target dynamic networks often adresses the same difficulties. Since the underlying network topology is unstable, the application has to ha...