From post

Timed Contract Compliance Under Event Timing Uncertainty.

, , и . JURIX, том 302 из Frontiers in Artificial Intelligence and Applications, стр. 33-38. IOS Press, (2017)

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.

 

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

Contractually Compliant Service Compositions., , и . ICSOC, том 7084 из Lecture Notes in Computer Science, стр. 636-644. Springer, (2011)WST: a tool supporting timed composite Web Services Model transformation., , , , и . Simul., 88 (3): 349-364 (2012)Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets., , , и . Softw. Syst. Model., 18 (5): 2973-3003 (2019)Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets., , , , и . Softw. Syst. Model., 20 (2): 505-538 (2021)A Framework for Modeling Cloud Infrastructures and User Interactions., , , , и . IEEE Access, (2019)Time Ordering Architecture in SCA., , , , и . TAMoCo, том 201 из Frontiers in Artificial Intelligence and Applications, стр. 117-126. IOS Press, (2009)Formal Passive Testing of Service-Oriented Systems., , и . IEEE SCC, стр. 610-613. IEEE Computer Society, (2010)Studying the Impact of the User Subscription Times in Different Cloud Configurations., , , , , и . SEKE, стр. 211-216. KSI Research Inc., (2021)Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies., , , , и . PeerJ Comput. Sci., (2024)Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets., , , и . IEEE Access, (2018)