2979 search results - page 143 / 596 » Modelling secure multiagent systems |
178
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
Complexity of today's systems prevents designers from knowing everything about them and makes engineering them a difficult task for which classical engineering approaches are ...
155
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
173
click to vote
JDCTA
2010
15 years 1 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
171
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Humans should be able to think of computers as extensions of their body, as craftsmen do with their tools. Current security models, however, are too unlike those used in human min...
