2979 search results - page 490 / 596 » Modelling secure multiagent systems |
145
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
122
click to vote
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
266
click to vote
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
131
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
There is a number of recent research lines addressing complex negotiations in highly rugged utility spaces. However, most of them focus on overcoming the problems imposed by the c...
148
click to vote
KI
2012
Springer
13 years 11 months ago
2012
Springer
The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This r...