Automatic implementation system of security protocols based on formal description techniquesProceedings - International Symposium on Computers and Communications - - Trang 355-360
L. Mengual, N. Barcia, E. Jimenez, E. Menasalvas, J. Setien, J. Yaguez
#Formal specifications #Cryptographic protocols #Communication system security #Information security #Random number generation #Public key cryptography #TCPIP #IP networks #Web and internet services #Information management
Multicast đáng tin cậy với phản hồi động (DyRAM) Dịch bởi AI Proceedings - International Symposium on Computers and Communications - - Trang 275-282
M. Maimour, C.D. Pham
#Giao thức multicast #Máy chủ mạng #Độ trễ #Tối ưu hóa bình phương nhỏ nhất #Băng thông #Khả năng mở rộng #Phản hồi #An ninh dữ liệu #Mạng máy tính
An architecture for automated replacement of QoS policiesProceedings - International Symposium on Computers and Communications - - Trang 796-801
L.Z. Granville, G.A.F. de Sa Coelho, M.J.B. Almeida, L.M.R. Tarouco
#Automation #Computer architecture #Computer network management #Application software #Switches #Informatics #Mission critical systems #Information management #Condition monitoring #Automata
Mechanisms to support situated agent systemsProceedings - International Symposium on Computers and Communications - - Trang 747-752
S. Bandini, F. DePaoli, S. Manzoni, C. Simone
#Application software #Topology #Protocols #Computational modeling #Physics computing #Collaborative work #Organization Charts #Context awareness #Information filtering #Information filters
Mobile agent solutions for accounting management in mobile computingProceedings - International Symposium on Computers and Communications - - Trang 753-760
P. Bellavista, A. Corradi, S. Vecchi
#Mobile agents #Mobile computing #IP networks #Remote monitoring #Telecommunication computing #Network servers #Web server #Computer network management #Telecommunication network management #Centralized control