From post

A formalized and validated executable model of the SIP-based presence protocol for mobile applications.

, и . ACM Southeast Regional Conference, стр. 185-190. ACM, (2007)

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.

 

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

Ensuring Patient Safety in Wireless Medical Device Networks., и . Computer, 39 (4): 54-60 (2006)Coexistence of functional and object-oriented paradigms, , и . J. Comput. Sci. Coll., (января 2012)From data to processes - Use of modeling and simulation in healthcare., , и . BHI, стр. 320-323. IEEE, (2016)Modeling and performance simulation of a software architecture for large-scale measurement of broadband networks using colored petri nets., , и . SpringSim (CNS), стр. 4. ACM, (2016)Normal Process Representatives, и . LICS, стр. 200-207. IEEE Computer Society, (1990)SoSE Modeling and Simulation Approaches to Evaluate Security and Performance Limitations of a Next Generation National Healthcare Information Network (NHIN-2)., , , , и . SoSE, стр. 1-6. IEEE, (2007)Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems., , и . HICSS (1), стр. 525-535. IEEE Computer Society, (1996)Mitigation of undesirable association behaviors of mobile devices with public WiFi networks., , , и . CCNC, стр. 1-8. IEEE, (2018)A scalable architecture for performance measurement in broadband networks., , , , , , и . CSCN, стр. 174-180. IEEE, (2015)Application of the Petri Net to Simulate and Validate Complex, Multi-Vendor, Heterogeneous Networks of Wireless Medical Device Systems., и . AMCIS, стр. 577. Association for Information Systems, (2004)