Search results for "guarantee"

Hits ?▲	Authors	Title	Venue	Year	Link
12		A reliable multi-hop opportunistic routing scheme with bandwidth guarantee for multimedia wireless mesh networks.	J. Ambient Intell. Humaniz. Comput.	2021	DBLP DOI BibTeX RDF
12	Maazen Alsabaan, Waleed Alasmary, Abdulaziz Alquniah, Mohamed Mahmoud 0001, Mahmoud Nabil 0001	A Distributed Surveillance System With Full Coverage Guarantee Using Positive Orthogonal Codes.	IEEE Access	2021	DBLP DOI BibTeX RDF
12	Tuan-Minh Pham	Traffic Engineering Based on Reinforcement Learning for Service Function Chaining With Delay Guarantee.	IEEE Access	2021	DBLP DOI BibTeX RDF
12	Junling Li, Weisen Shi, Qiang Ye 0002, Ning Zhang 0007, Weihua Zhuang, Xuemin Shen	Multiservice Function Chain Embedding With Delay Guarantee: A Game-Theoretical Approach.	IEEE Internet Things J.	2021	DBLP DOI BibTeX RDF
12	Xin Liu 0009, Xiangping Bryce Zhai, Weidang Lu, Celimuge Wu	QoS-Guarantee Resource Allocation for Multibeam Satellite Industrial Internet of Things With NOMA.	IEEE Trans. Ind. Informatics	2021	DBLP DOI BibTeX RDF
12	Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi	Virtual Prototyping a Production Line Using Assume-Guarantee Contracts.	IEEE Trans. Ind. Informatics	2021	DBLP DOI BibTeX RDF
12	Shih-Hung Chang, Huan Chen 0002, Bo-Chao Cheng	Time-predictable routing algorithm for Time-Sensitive Networking: Schedulable guarantee of Time-Triggered streams.	Comput. Commun.	2021	DBLP DOI BibTeX RDF
12	Lina Wang, Xuyun Zhang, Tian Wang 0001, Shaohua Wan 0001, Gautam Srivastava 0001, Shaoning Pang, Lianyong Qi	Diversified and Scalable Service Recommendation With Accuracy Guarantee.	IEEE Trans. Comput. Soc. Syst.	2021	DBLP DOI BibTeX RDF
12	Sung Jin Yoo, Bong Seok Park	Quantized feedback control strategy for tracking performance guarantee of nonholonomic mobile robots with uncertain nonlinear dynamics.	Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
12	Tongwei Zhang, Guangjie Han, Lei Yan, Yan Peng 0001	Fast Calculation of Underwater Acoustic Horizontal Range: A Guarantee for B5G Ocean Mobile Networks.	IEEE Trans. Netw. Sci. Eng.	2021	DBLP DOI BibTeX RDF
12	Hong-Xia Dou, Liang-Jian Deng	A Proximal Algorithm with Convergence Guarantee for a Nonconvex Minimization Problem Based on Reproducing Kernel Hilbert Space.	Symmetry	2021	DBLP DOI BibTeX RDF
12	Yinghui Ye, Liqin Shi, Xiaoli Chu, Guangyue Lu	Throughput Fairness Guarantee in Wireless Powered Backscatter Communications With HTT.	IEEE Wirel. Commun. Lett.	2021	DBLP DOI BibTeX RDF
12	Sangsha Fang, Hongyang Chen, Zahid Khan, Pingzhi Fan	Stochastic Delay Guarantee of Wireless Dual-Hop Networks With Interference-Limited Relay.	IEEE Wirel. Commun. Lett.	2021	DBLP DOI BibTeX RDF
12	Yongjun Xu, Zhijin Qin, Guan Gui 0001, Haris Gacanin, Hikmet Sari, Fumiyuki Adachi	Energy Efficiency Maximization in NOMA Enabled Backscatter Communications With QoS Guarantee.	IEEE Wirel. Commun. Lett.	2021	DBLP DOI BibTeX RDF
12	Thomas Pani, Georg Weissenbacher, Florian Zuleger	Rely-guarantee bound analysis of parameterized concurrent shared-memory programs.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
12	Yuhui Zhang, Dejun Yang	RobustPay+: Robust Payment Routing With Approximation Guarantee in Blockchain-Based Payment Channel Networks.	IEEE/ACM Trans. Netw.	2021	DBLP DOI BibTeX RDF
12	March Boedihardjo, Shaofeng Deng, Thomas Strohmer	A Performance Guarantee for Spectral Clustering.	SIAM J. Math. Data Sci.	2021	DBLP DOI BibTeX RDF
12	Minghao Han, Yuan Tian 0014, Lixian Zhang, Jun Wang 0012, Wei Pan 0004	Reinforcement learning control of constrained dynamic systems with uniformly ultimate boundedness stability guarantee.	Autom.	2021	DBLP DOI BibTeX RDF
12	Adnane Saoud, Antoine Girard, Laurent Fribourg	Assume-guarantee contracts for continuous-time systems.	Autom.	2021	DBLP DOI BibTeX RDF
12	Diodato Ferraioli, Carmine Ventre	Approximation Guarantee of OSP Mechanisms: The Case of Machine Scheduling and Facility Location.	Algorithmica	2021	DBLP DOI BibTeX RDF
12	Heng-Zhao Ma, Jianzhong Li 0001	A sub-linear time algorithm for approximating k-nearest-neighbor with full quality guarantee.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
12	Tiansheng Huang, Weiwei Lin 0001, Wentai Wu, Ligang He, Keqin Li 0001, Albert Y. Zomaya	An Efficiency-Boosting Client Selection Scheme for Federated Learning With Fairness Guarantee.	IEEE Trans. Parallel Distributed Syst.	2021	DBLP DOI BibTeX RDF
12	Yusen Li, Changjian Zhao, Xueyan Tang, Wentong Cai 0001, Xiaoguang Liu 0001, Gang Wang 0001, Xiaoli Gong	Towards Minimizing Resource Usage With QoS Guarantee in Cloud Gaming.	IEEE Trans. Parallel Distributed Syst.	2021	DBLP DOI BibTeX RDF
12	Xiaojuan Puyang, Ying Zhong	Asymptotic efficiency analysis on the modified Paulson's procedure with a PAC guarantee.	Oper. Res. Lett.	2021	DBLP DOI BibTeX RDF
12	Yi Yue, Bo Cheng 0001, Xuan Liu 0008, Meng Wang 0018, Biyi Li, Junliang Chen	Resource Optimization and Delay Guarantee Virtual Network Function Placement for Mapping SFC Requests in Cloud Networks.	IEEE Trans. Netw. Serv. Manag.	2021	DBLP DOI BibTeX RDF
12	Yi Yue, Bo Cheng 0001, Meng Wang 0018, Biyi Li, Xuan Liu 0008, Junliang Chen	Throughput Optimization and Delay Guarantee VNF Placement for Mapping SFC Requests in NFV-Enabled Networks.	IEEE Trans. Netw. Serv. Manag.	2021	DBLP DOI BibTeX RDF
12	Tianyu Liu, Jie Lu 0001, Zheng Yan 0001, Guangquan Zhang 0001	Statistical generalization performance guarantee for meta-learning with data dependent prior.	Neurocomputing	2021	DBLP DOI BibTeX RDF
12	Zhan Pang, Wenqiang Xiao, Xuying Zhao	Preorder Price Guarantee in e-Commerce.	Manuf. Serv. Oper. Manag.	2021	DBLP DOI BibTeX RDF
12	Alexandros G. Paspatis, George C. Konstantopoulos, Josep M. Guerrero	Enhanced Current-Limiting Droop Controller for Grid-Connected Inverters to Guarantee Stability and Maximize Power Injection Under Grid Faults.	IEEE Trans. Control. Syst. Technol.	2021	DBLP DOI BibTeX RDF
12	Jungwon Park, Dabin Kim, Gyeong Chan Kim, Dahyun Oh, H. Jin Kim	Online Distributed Trajectory Planning for Quadrotor Swarm with Feasibility Guarantee using Linear Safe Corridor.	CoRR	2021	DBLP BibTeX RDF
12	Wenwen Gong, Huiping Wu, Xiaokang Wang, Xuyun Zhang, Yifei Chen, Song Jia, Mohammad Reza Khosravi	Diversity-aware Web APIs Assignment and Recommendation for Mashup Creation with Compatibility Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Amit Joshi, Hamed Kebriaei, Valerio Mariani, Luigi Glielmo	A Sufficient Condition to Guarantee Non-Simultaneous Charging and Discharging of Household Battery Energy Storage.	CoRR	2021	DBLP BibTeX RDF
12	Chunjiang Che, Xiaoli Li, Chuan Chen 0001, Xiaoyu He 0001, Zibin Zheng	A Decentralized Federated Learning Framework via Committee Mechanism with Convergence Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Zhibo Meng, Hongwei Zhang 0001	Multi-Cell, Multi-Channel URLLC with Probabilistic Per-Packet Real-Time Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Flint Xiaofeng Fan, Yining Ma 0001, Zhongxiang Dai, Wei Jing, Cheston Tan, Bryan Kian Hsiang Low	Fault-Tolerant Federated Reinforcement Learning with Theoretical Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Yandong Shi, Hayoung Choi, Yuanming Shi, Yong Zhou 0006	Algorithm Unrolling for Massive Access via Deep Neural Network with Theoretical Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Han Wang, Hui Li 0022, Zixian Wang, Baofu Han, Minglong Zhang, Peter Han Joo Chong, Xiaoli Chu, Yang Liu, Soung-Yue Liew, Lunchakorn Wuttisittikulkij	A P2P Network Topology for Optimizing Partition Tolerance to Reach the CAP Guarantee Bound in Consortium Blockchains.	CoRR	2021	DBLP BibTeX RDF
12	Tianhao Wu 0002, Yunchang Yang, Han Zhong 0001, Liwei Wang 0001, Simon S. Du, Jiantao Jiao	Nearly Optimal Policy Optimization with Stable at Any Time Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Xingcai Zhou, Le Chang, Pengfei Xu, Shaogao Lv	Communication-efficient Byzantine-robust distributed learning with statistical guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Shen Li 0003, Theodoros Stouraitis, Michael Gienger, Sethu Vijayakumar, Julie A. Shah	Set-based State Estimation with Probabilistic Consistency Guarantee under Epistemic Uncertainty.	CoRR	2021	DBLP BibTeX RDF
12	Peng Jin, Min Zhang 0002, Jianwen Li, Li Han, Xuejun Wen	Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning.	CoRR	2021	DBLP BibTeX RDF
12	Tuyen Trung Truong	New Q-Newton's method meets Backtracking line search: good convergence guarantee, saddle points avoidance, quadratic rate of convergence, and easy implementation.	CoRR	2021	DBLP BibTeX RDF
12	Madeleine K. Wyburd, Nicola K. Dinsdale, Ana I. L. Namburete, Mark Jenkinson	TEDS-Net: Enforcing Diffeomorphisms in Spatial Transformers to Guarantee Topology Preservation in Segmentations.	CoRR	2021	DBLP BibTeX RDF
12	Suiyi He, Jun Zeng, Koushil Sreenath	Competitive Car Racing with Multiple Vehicles using a Parallelized Optimization with Safety Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Miel Sharf, Bart Besselink, Karl Henrik Johansson	Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming.	CoRR	2021	DBLP BibTeX RDF
12	Ian J. Hayes, Larissa A. Meinicke, Patrick A. Meiring	Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style.	CoRR	2021	DBLP BibTeX RDF
12	Liang Hu, Yujie Tang 0004, Zhipeng Zhou, Wei Pan 0004	Reinforcement Learning for Orientation Estimation Using Inertial Sensors with Performance Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Sungjoon Choi, Min Jae Song, Hyemin Ahn, Joohyung Kim	Self-Supervised Motion Retargeting with Safety Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Man Zeng, Dandan Li, Pei Zhang 0003, Kun Xie 0003, Xiaohong Huang	Federated Route Leak Detection in Inter-domain Routing with Privacy Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Saurabh Garg, Sivaraman Balakrishnan, J. Zico Kolter, Zachary C. Lipton	RATT: Leveraging Unlabeled Data to Guarantee Generalization.	CoRR	2021	DBLP BibTeX RDF
12	The Tien Mai	Bayesian matrix completion with a spectral scaled Student prior: theoretical guarantee and efficient sampling.	CoRR	2021	DBLP BibTeX RDF
12	Kenji Kawaguchi, Qingyun Sun	A Recipe for Global Convergence Guarantee in Deep Neural Networks.	CoRR	2021	DBLP BibTeX RDF
12	Ruoyang Xu, Shiyu Feng, Patricio A. Vela	Potential Gap: Using Reactive Policies to Guarantee Safe Navigation.	CoRR	2021	DBLP BibTeX RDF
12	Wenwen Gong, Yulan Zhang, Xuyun Zhang, Yucong Duan, Yawei Wang, Yifei Chen, Lianyong Qi	Diversity-aware Web APIs Recommendation with Compatibility Guarantee.	CoRR	2021	DBLP BibTeX RDF
12	Hui Yang 0006, Kaixuan Zhan, Bowen Bao, Qiuyan Yao, Jie Zhang 0006, Mohamed Cheriet	Automatic guarantee scheme for intent-driven network slicing and reconfiguration.	J. Netw. Comput. Appl.	2021	DBLP DOI BibTeX RDF
12	Kai Lei, Junlin Huang, Xiaodong Li, Yu Li, Ye Zhang, Bo Bai 0001, Fan Zhang 0016, Gong Zhang 0001, Jingjie Jiang	HOPASS: A two-layer control framework for bandwidth and delay guarantee in datacenters.	J. Netw. Comput. Appl.	2021	DBLP DOI BibTeX RDF
12	Igor B. Furtat, Pavel A. Gushchin	Control of Dynamical Plants with a Guarantee for the Controlled Signal to Stay in a Given Set.	Autom. Remote. Control.	2021	DBLP DOI BibTeX RDF
12	Zitao Li, Bolin Ding, Ce Zhang 0001, Ninghui Li, Jingren Zhou	Federated Matrix Factorization with Privacy Guarantee. (PDF / PS)	Proc. VLDB Endow.	2021	DBLP DOI BibTeX RDF
12	Lei Cao 0004, Dongqing Xiao, Yizhou Yan, Samuel Madden 0001, Guoliang Li 0001	ATLANTIC: Making Database Differentially Private and Faster with Accuracy Guarantee. (PDF / PS)	Proc. VLDB Endow.	2021	DBLP DOI BibTeX RDF
12	Mustafa Anil Koçak, David Ramírez, Elza Erkip, Dennis E. Shasha	SafePredict: A Meta-Algorithm for Machine Learning That Uses Refusals to Guarantee Correctness.	IEEE Trans. Pattern Anal. Mach. Intell.	2021	DBLP DOI BibTeX RDF
12	Le Trung Thanh, Viet-Dung Nguyen, Nguyen Linh-Trung, Karim Abed-Meraim	Robust Subspace Tracking With Missing Data and Outliers: Novel Algorithm With Convergence Guarantee.	IEEE Trans. Signal Process.	2021	DBLP DOI BibTeX RDF
12	Ying Qiu, Jie Ke, Chao Liang, Yubo Jia, Weiqiang Xu, Hsiao-Hwa Chen	Deterministic Asynchronous Scheduling with Probabilistic Reliability Guarantee in Industrial Wireless Networks.	IEEE Netw.	2021	DBLP DOI BibTeX RDF
12	Md. Zoheb Hassan, Md. Jahangir Hossain 0002, Julian Cheng, Victor C. M. Leung	Statistical-QoS Guarantee for IoT Network Driven by Laser-Powered UAV Relay and RF Backscatter Communications.	IEEE Trans. Green Commun. Netw.	2021	DBLP DOI BibTeX RDF
12	Liuyang Mai, Yi Ding, Xiaoning Zhang, Lang Fan, Shui Yu 0001, Zhichao Xu	Energy efficiency with service availability guarantee for Network Function Virtualization.	Future Gener. Comput. Syst.	2021	DBLP DOI BibTeX RDF
12	Jia Su, Ling Chen 0005, Yixin Chen 0001, Bin Li 0006, Wei Liu 0010	Minimizing the seed set cost for influence spreading with the probabilistic guarantee.	Knowl. Based Syst.	2021	DBLP DOI BibTeX RDF
12	Fatemeh Deldar, Mahdi Abadi	A differentially private location generalization approach to guarantee non-uniform privacy in moving objects databases.	Knowl. Based Syst.	2021	DBLP DOI BibTeX RDF
12	Tuo Shi, Zhipeng Cai 0001, Jianzhong Li 0001, Hong Gao 0001	Joint Deployment Strategy of Battery-Free Sensor Networks with Coverage Guarantee.	ACM Trans. Sens. Networks	2021	DBLP DOI BibTeX RDF
12	Charline Le Lan, Laurent Dinh	Perfect Density Models Cannot Guarantee Anomaly Detection.	Entropy	2021	DBLP DOI BibTeX RDF
12	Fedor V. Fomin, Petr A. Golovach, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh 0001, Meirav Zehavi	Multiplicative Parameterization Above a Guarantee.	ACM Trans. Comput. Theory	2021	DBLP DOI BibTeX RDF
12	Kaiqing Zhang, Bin Hu, Tamer Basar	Policy Optimization for ℋ2 Linear Control with ℋ∞ Robustness Guarantee: Implicit Regularization and Global Convergence.	SIAM J. Control. Optim.	2021	DBLP DOI BibTeX RDF
12	Liang Xiao 0003, Yuzhen Ding, Jinhao Huang, Sicong Liu 0002, Yuliang Tang, Huaiyu Dai	UAV Anti-Jamming Video Transmissions With QoE Guarantee: A Reinforcement Learning-Based Approach.	IEEE Trans. Commun.	2021	DBLP DOI BibTeX RDF
12	Jaya Prakash Champati, Hussein Al-Zubaidy, James Gross	Statistical Guarantee Optimization for AoI in Single-Hop and Two-Hop FCFS Systems With Periodic Arrivals.	IEEE Trans. Commun.	2021	DBLP DOI BibTeX RDF
12	Zhiguo Ding 0001, Robert Schober, H. Vincent Poor	A New QoS-Guarantee Strategy for NOMA Assisted Semi-Grant-Free Transmission.	IEEE Trans. Commun.	2021	DBLP DOI BibTeX RDF
12	Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng	Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN.	IEEE Des. Test	2021	DBLP DOI BibTeX RDF
12	Ruyan Wang, Ailing Zhong, Zhidu Li, Hong Zhang 0012, Xingjie Li	Stochastic Latency Guarantee in Wireless Powered Virtualized Sensor Networks.	Sensors	2021	DBLP DOI BibTeX RDF
12	Seung-Yeon Kim, Yi-Kang Kim	An Energy Efficient UAV-Based Edge Computing System with Reliability Guarantee for Mobile Ground Nodes.	Sensors	2021	DBLP DOI BibTeX RDF
12	Yuxiao Chen 0001, James Anderson 0001, Karanjit Kalsi, Aaron D. Ames, Steven H. Low	Safety-Critical Control Synthesis for Network Systems With Control Barrier Functions and Assume-Guarantee Contracts.	IEEE Trans. Control. Netw. Syst.	2021	DBLP DOI BibTeX RDF
12	Mingming Ha, Ding Wang 0001, Derong Liu 0001	Neural-network-based discounted optimal control via an integrated value iteration with accuracy guarantee.	Neural Networks	2021	DBLP DOI BibTeX RDF
12	Junkee Jeon, Minsuk Kwak	Pricing variable annuity with surrender guarantee.	J. Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
12	David Sanán, Yongwang Zhao, Shang-Wei Lin 0001, Yang Liu 0003	CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee.	ACM Trans. Program. Lang. Syst.	2021	DBLP DOI BibTeX RDF
12	Lixian Zhang, Ruixian Zhang, Tong Wu 0013, Rui Weng, Minghao Han, Ye Zhao 0002	Safe Reinforcement Learning With Stability Guarantee for Motion Planning of Autonomous Vehicles.	IEEE Trans. Neural Networks Learn. Syst.	2021	DBLP DOI BibTeX RDF
12	Lichen Cheng, Jiqiang Liu, Yi Jin 0001, Yidong Li, Wei Wang 0012	Account Guarantee Scheme: Making Anonymous Accounts Supervised in Blockchain.	ACM Trans. Internet Techn.	2021	DBLP DOI BibTeX RDF
12	Zhigang Lu 0001, Hong Shen 0001	Differentially Private $k$k-Means Clustering With Convergence Guarantee.	IEEE Trans. Dependable Secur. Comput.	2021	DBLP DOI BibTeX RDF
12	Ye Yang, Haiyang Jiang 0001, Yulei Wu, Chunjing Han, Yilong Lv, Xing Li, Bowen Yang, Serge Fdida, Gaogang Xie	C2QoS: Network QoS guarantee in vSwitch through CPU-cycle management.	J. Syst. Archit.	2021	DBLP DOI BibTeX RDF
12	Weihong Yang, Yang Qin 0001, Zhangchengzhe Yi, Xuan Wang 0002, Yang Liu 0039	Providing Cache Consistency Guarantee for ICN-Based IoT Based on Push Mechanism.	IEEE Commun. Lett.	2021	DBLP DOI BibTeX RDF
12	Woongsup Lee, Kisong Lee	Resource Allocation Scheme for Guarantee of QoS in D2D Communications Using Deep Neural Network.	IEEE Commun. Lett.	2021	DBLP DOI BibTeX RDF
12	Jingwen Wang	Application of Superiority Chart in the Construction of the Internal Quality Guarantee System of Private Colleges and Universities.	CIPAE	2021	DBLP DOI BibTeX RDF
12	Sungjoon Choi, Min Jae Song, Hyemin Ahn, Joohyung Kim	Self-Supervised Motion Retargeting with Safety Guarantee.	ICRA	2021	DBLP DOI BibTeX RDF
12	Liang Hu, Yujie Tang 0004, Zhipeng Zhou, Wei Pan 0004	Reinforcement Learning for Orientation Estimation Using Inertial Sensors with Performance Guarantee.	ICRA	2021	DBLP DOI BibTeX RDF
12	Yong Yan 0002, Tianhong Su, Shaoyong Guo, Song Kang	Power Blockchain Guarantee Mechanism Based on Trusted Computing.	ICAIS (2)	2021	DBLP DOI BibTeX RDF
12	Jun Guo, Yi Li, Chen Liu, Zixuan Zhao, Bin Zhang 0001	Research on Evaluation Method of Virtual Machine Quantity in Cold and Hot Operation Mode Based on Reliability Guarantee.	ICACT	2021	DBLP DOI BibTeX RDF
12	Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu 0005, Ufuk Topcu	Decentralized Classification with Assume-Guarantee Planning.	IROS	2021	DBLP DOI BibTeX RDF
12	Alessandro Simonetta, Maria Cristina Paoletti, Alessio Venticinque	Using the SQuaRE series as a guarantee for GDPR compliance.	IWESQ@APSEC	2021	DBLP BibTeX RDF
12	Yanzi Hao, Changyin Sun, Fan Jiang 0002, Jing Jiang 0026	Resource Allocation Strategy for Reliability and QoS Guarantee of mmWave Offloading Using Markov Decision Process.	AIPR	2021	DBLP DOI BibTeX RDF
12	Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen	From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET.	FM	2021	DBLP DOI BibTeX RDF
12	Nicholas Coughlin, Kirsten Winter, Graeme Smith 0001	Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models.	FM	2021	DBLP DOI BibTeX RDF
12	Yuhan Yang, Yong Zhou 0006, Ting Wang 0001, Yuanming Shi	Reconfigurable Intelligent Surface Assisted Federated Learning with Privacy Guarantee.	ICC Workshops	2021	DBLP DOI BibTeX RDF
12	Olav Tirkkonen, Saeed R. Khosravirad, Paolo Baracca, Liang Zhou 0007, Ülo Parts, Dani Korpi, Mikko A. Uusitalo	Optimized Survival Mode to Guarantee QoS for Time-critical Services.	ICC Workshops	2021	DBLP DOI BibTeX RDF
12	Kit Seng Tam, Chia-Chun Lin, Yung-Chih Chen, Chun-Yao Wang	An Efficient Approximate Node Merging with an Error Rate Guarantee.	ASP-DAC	2021	DBLP DOI BibTeX RDF
12	David Kooi, Mohamed Maghenem, Ricardo G. Sanfelice	Self-Triggered Control to Guarantee Forward Pre-Invariance with Uniformly Positive Inter-Event Times.	ACC	2021	DBLP DOI BibTeX RDF