Sciweavers

5243 search results - page 66 / 1049
» Reasoning About Strategies
Sort
View
78
Voted
TOOLS
2010
IEEE
15 years 5 months ago
Reasoning about Function Objects
Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...
86
Voted
CSFW
2002
IEEE
15 years 5 months ago
A Logic for Reasoning about Digital Rights
Riccardo Pucella, Vicky Weissman
71
Voted
AGENTS
2001
Springer
15 years 5 months ago
Reasoning about commitments and penalties for coordination between autonomous agents
Ì × Ô Ô Ö Ú ÐÓÔ× Ò Ú ÐÙ Ø × Ò Û × ÓÒ Ø ÓÖ Ø Ö Ñ ÛÓÖ Ò Û ÙØÓÒÓÑÓÙ× ÒØ× Ò Ñ Ö Ø ÓÒ Ð Ó × ÓÙØ ÓÓÖ Ò Ø Ò Ø Ö Ø ÓÒ×...
Cora B. Excelente-Toledo, Rachel A. Bourne, Nichol...
98
Voted
CONCUR
2001
Springer
15 years 5 months ago
Reasoning about Security in Mobile Ambients
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
72
Voted
FM
2001
Springer
85views Formal Methods» more  FM 2001»
15 years 5 months ago
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware
Nalini Venkatasubramanian, Carolyn L. Talcott, Gul...