( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reputation-based trust management.

, и . J. Comput. Secur., 13 (1): 167-190 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Carolyn Schaller

Carolyn Lerche

Carolyn Weber

Carolyn Grone

Carolyn Hinz

 

Другие публикации лиц с тем же именем

Using Abstract Resources to Control Reasoning., , и . J. Log. Lang. Inf., 7 (1): 77-101 (1998)Program Transformation via Contextual Assertions., и . Logic, Language and Computation, том 792 из Lecture Notes in Computer Science, стр. 225-254. Springer, (1994)The Logic of FOL Systems: Formulated in Set Theory., и . Logic, Language and Computation, том 792 из Lecture Notes in Computer Science, стр. 119-132. Springer, (1994)Editorial., и . High. Order Symb. Comput., 22 (4): 293 (2009)Editorial., и . High. Order Symb. Comput., 13 (4): 287-288 (2000)Reasoning about effects: from lists to cyber-physical agents., и . CoRR, (2018)A formal model for reasoning about adaptive QoS-enabled middleware., , и . ACM Trans. Softw. Eng. Methodol., 13 (1): 86-147 (2004)Symbolic Timed Observational Equivalence., , и . CoRR, (2018)A semantic model for safe protocol interaction., , и . SAC, стр. 1599-1600. ACM, (2006)Formal specification of multisimulations using Maude., , , и . SpringSim (TMS-DEVS), стр. 22. SCS/ACM, (2012)