成果/Result
- A Game Theory Approach to Fair and Efficient Resource Allocation in Cloud Computing被引量：57收藏
- 作者：Xu, Xin Yu, Huiqun
- 机构：E China Univ Sci & Technol
- 来源：MATHEMATICAL PROBLEMS IN ENGINEERING 2014
- 关键词：Game theory - Clustering algorithms - Computation theory - Resource allocation
- Two-stage cost-sensitive local models for heterogeneous cross-project defect prediction被引量：55收藏
- 作者：Huang, Yan Xu, Xian
- 机构： East China University of Science and Technology
- 来源：Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022 2022
- 关键词：Defects - Feature Selection - Large dataset - NASA - Software engineering
- A logical characterization for linear higher-order processes被引量：40收藏
- 作者：Xu, Xian Long, Huan
- 机构： Department of Computer Science and Technology; Laboratory of Basic Study In Computing Science
- 来源：Journal of Shanghai Jiaotong University (Science) 2015
- 关键词：Computer circuits
- 下载全文在线阅读
- 基于泛化和概率的差分隐私合成轨迹数据发布方案被引量：35收藏
- 作者：Cao, Wenxin Xu, Xian
- 机构： School of Information Science and Engineering
- 来源：[1] School of Information Science and Engineering, East China University of Science and Technology, Shanghai, 200237, China 2026
- On the expressiveness of parameterization in process-passing被引量：33收藏
- 作者：Xu, Xian Yin, Qiang Long, Huan
- 机构： East China University of Science and Technology; Shanghai Jiao Tong University
- 来源：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014
- BlindShuffler: Universal and Trustless Mixing for Confidential Transactions被引量：33收藏
- 作者：Wang, Chenke Ge, Zhonghui Long, Yu Xu, Xian Sun, Shi-Feng Gu, Dawu
- 机构： Shanghai Jiao Tong University; East China University of Science and Technology; Shanghai Jiao Tong University
- 来源：ACM AsiaCCS 2024 - Proceedings of the 19th ACM Asia Conference on Computer and Communications Security 2024
- 关键词：Blockchain - Mixing - Public key cryptography
- On bisimulation theory in linear higher-order π-calculus被引量：28收藏
- 作者：Xu, Xian
- 机构： Department of Computer Science and Technology; BASICS
- 来源：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2009
- 关键词：Pathology
- Accio: Variable-Amount, Optimized-Unlinkable and NIZK-Free Off-Chain Payments via Hubs被引量：26收藏
- 作者：Ge, Zhonghui Gu, Jiayuan Wang, Chenke Long, Yu Xu, Xian Gu, Dawu
- 机构： Shanghai Jiao Tong University; East China University of Science and Technology
- 来源：CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security 2023
- 关键词：Chromium compounds - Cryptography
- Secure Threshold Wallet Supporting Full Stealth Address被引量：26收藏
- 作者：Zhai, Haojun Wang, Chenke Long, Yu Xu, Xian Gu, Dawu
- 机构： School of Computer Science; ECUST
- 来源：2025 IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2025 2025
- 关键词：Bitcoin - Cryptography
- Recommender systems based on autoencoder and differential privacy被引量：17收藏
- 作者：Ren, Jiahui Xu, Xian Yao, Zhihuan Yu, Huiqun
- 机构： Department of Computer Science and Engineering
- 来源：Proceedings - International Computer Software and Applications Conference 2019
- 关键词：Learning systems
- On member search engine selection using artificial neural network in meta search engine被引量：15收藏
- 作者：Liu, Denghong Xu, Xian Long, Yu
- 机构： Department of Computer Science and Engineering; Department of Computer Science and Engineering
- 来源：Proceedings - 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017 2017
- 关键词：Search engines - Routers
- Improved Collaborative Filtering Algorithm Incorporating User Information and Using Differential Privacy被引量：14收藏
- 作者：Ren, Jiahui Xu, Xian Yu, Huiqun
- 机构： Department of Computer Science and Engineering
- 来源：Communications in Computer and Information Science 2019
- 关键词：Information use - Recommender systems - Signal filtering and prediction
- Distinguishing and relating higher-order and first-order processes by expressiveness被引量：12收藏
- 作者：Xu, Xian
- 机构：E China Univ Sci & Technol
- 来源：ACTA INFORMATICA 2012
- 关键词：Biomineralization - Calculations - Genes - Computation theory - Pathology
- 两个降低PKG信任级的基于身份的门限密码体制被引量：6收藏
- 作者：龙宇 徐贤 陈克非
- 机构：上海交通大学计算机科学与工程系;信息安全国家重点实验室(中国科学院研究生院);华东理工大学计算机科学与工程系
- 来源：《计算机研究与发展》 2012
- 关键词：基于身份的公钥密码体制 门限密码体制 可证安全 可追踪 零知识证明
- 摘要：在基于身份的公钥密码体制中PKG负责生成用户密钥,对PKG的信任级别过高,存在密钥托管问题.人们为解决此问题提出了很多方案但均有一定缺陷.Goyal提出了一种解决这类问题的新思路.基于该思路,提出了两种降低对私钥生成中心...
- 下载全文在线阅读
- On Context Bisimulation for Parameterized Higher-order Processes被引量：4收藏
- 作者：Xu, Xian
- 机构：East China Univ Sci & Technol
- 来源：ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2013
- 关键词：Context Bisimulation Normal Bisimulation Higher-order Processes
- On parameterization of higher-order processes被引量：2收藏
- 作者：Yin, Qiang Xu, Xian Long, Huan
- 机构：Shanghai Jiao Tong Univ;East China Univ Sci & Technol
- 来源：INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS 2017
- 关键词：Context bisimulation normal bisimulation expressiveness parameterization higher-order process calculi 68Q85
- Floor Heating Customer Prediction Model Based on Random Forest被引量：1收藏
- 作者：Yao, Zhihuan Xu, Xian Yu, Huiqun
- 机构：East China Univ Sci & Technol
- 来源：INTERNATIONAL JOURNAL OF NETWORKED AND DISTRIBUTED COMPUTING 2018
- 关键词：Floor heating customer prediction random forest
- Higher-order Processes with Parameterization over Names and Processes被引量：1收藏
- 作者：Xu, Xian
- 机构：East China Univ Sci & Technol
- 来源：ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2016
- 关键词：Parameterization Context bisimulation Higher-order First-order Processes
- Logical characterization of branching bisimilarity over random processes被引量：0收藏
- 作者：Xu, Xian Zhang, Wenbo
- 机构：East China Univ Sci & Technol;Shanghai Ocean Univ
- 来源：INFORMATION PROCESSING LETTERS 2026
- 关键词：Logical characterization Probabilistic processes Uniformly randomized CCS Branching bisimulation
- 带Mismatch算子的高阶π演算被引量：0收藏
- 作者：徐贤
- 机构：华东理工大学计算机科学与工程系;上海交通大学计算机科学与技术系
- 来源：《软件学报》 2014
- 关键词：公理化 互模拟 mismatch 线性 高阶 π演算 进程演算
- 摘要：主要研究带mismatch的高阶进程演算的公理化问题.首先,建立存在mismatch时高阶进程的开弱高阶互模拟理论,证明了等价关系、同余性等重要性质;其次,沿用线性的方法,构建得到带mismatch的有限进程上的公理系统...
- 下载全文在线阅读
- On the Interactive Power of Higher-order Processes Extended with Parameterization被引量：0收藏
- 作者：Zhang, Wenbo Xu, Xian Yin, Qiang Long, Huan
- 机构：Shanghai Jiao Tong Univ;East China Univ Sci & Technol;Alibaba Grp
- 来源：FORMAL ASPECTS OF COMPUTING 2021
- 关键词：Parameterization Interactive Higher-order Processes
- On bisimulation in absence of restriction被引量：0收藏
- 作者：Xu, Xian
- 机构：East China Univ Sci & Technol
- 来源：RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS 2026
- 关键词：Strong bisimulation weak bisimulation restriction first-order higher-order processes
- 具有高表达能力的新型可信计算信任链的设计被引量：0收藏
- 作者：龙宇 王辛 徐贤 洪璇
- 机构：上海交通大学计算机科学与工程系;国防科技大学计算机学院;华东理工大学计算机科学与工程系;上海师范大学计算机系
- 来源：《清华大学学报（自然科学版）》 2018
- 关键词：可信计算 基于身份的签名 信任链
- 摘要：基于可信计算芯片的可信启动指从信任根开始,通过建立信任链并沿信任链逐步移交系统控制权的过程。然而,现有信任链是简单的单链结构,并不能满足用户需要。该文首先参考基于身份的层次式签名机制,提出支持多软硬件系统的多信任链方案。...
- 下载全文在线阅读
- On higher-order communication in ambient calculi被引量：0收藏
- 作者：Xu, Xian Huang, Yan Yao, Zhihuan
- 机构：East China Univ Sci & Technol
- 来源：MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2025
- 关键词：Ambient calculus communication higher-order processes encoding
- On Higher-order Communication of Erlang被引量：0收藏
- 作者：Liu, Nannan Xu, Xian
- 机构：East China Univ Sci & Technol
- 来源：2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD) 2016
- 关键词：Erlang functional programming higher-order communication
