default search action
Dongmei Liu
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j37]Kunpeng Xu, Valiallah Mousavi, Dongmei Liu:
Retargeting Low-Resolution Aerial Imagery by Distribution-Preserving Perceptual Feature Selection. IEEE Access 12: 25612-25622 (2024) - [j36]Kunpeng Xu, Dongmei Liu, Zhiming Wang:
Low-Resolution Aerial Imagery Classification by Actively Learning Human Perception and Manifold-Regularized Feature Selection. IEEE Access 12: 31107-31116 (2024) - [j35]Jian Zhou, Yuqing Dai, Dongmei Liu, Weifang Zhu, Dehui Xiang, Xinjian Chen, Fei Shi, Wentao Xia:
Improving deep learning based segmentation of scars using multi-view images. Biomed. Signal Process. Control. 94: 106254 (2024) - [j34]Yunxiao Pang, Huaxiang Zhang, Lei Zhu, Dongmei Liu, Li Liu:
Self-similarity guided probabilistic embedding matching based on transformer for occluded person re-identification. Expert Syst. Appl. 237(Part B): 121504 (2024) - [j33]Hui Meng, Huaxiang Zhang, Li Liu, Dongmei Liu, Xu Lu, Xinru Guo:
Joint-Modal Graph Convolutional Hashing for unsupervised cross-modal retrieval. Neurocomputing 595: 127911 (2024) - [j32]Xiaogang Chen, Dongmei Liu:
Application and Research of Media Information Retrieval Technology in Student Work Management Systems. Int. J. Web Based Learn. Teach. Technol. 19(1): 1-17 (2024) - [j31]Shengtang Guo, Huaxiang Zhang, Li Liu, Dongmei Liu, Xu Lu, Liujian Li:
Hypergraph clustering based multi-label cross-modal retrieval. J. Vis. Commun. Image Represent. 103: 104258 (2024) - [j30]Zaike Li, Li Liu, Huaxiang Zhang, Dongmei Liu, Yu Song, Boqun Li:
Locally controllable network based on visual-linguistic relation alignment for text-to-image generation. Multim. Syst. 30(1): 34 (2024) - [j29]Min Li, Dongmei Liu, Chunsheng Liu, Faliang Chang, Wenqian Wang, Bin Wang:
ACF-net: appearance-guided content filter network for video captioning. Multim. Tools Appl. 83(10): 31103-31122 (2024) - [j28]Xiaogang Chen, Dongmei Liu:
Research on High-performance Computing Network Search System based on Computer Big Data. Scalable Comput. Pract. Exp. 25(3): 1833-1840 (2024) - 2023
- [j27]Tian Jin, Fangchi Li, Yafei Tian, Dongmei Liu:
Utilization of non-coherent accumulation for LTE TOA estimation in weak LOS signal environments. EURASIP J. Wirel. Commun. Netw. 2023(1): 38 (2023) - [j26]Dongmei Liu, Haibin Ouyang, Steven Li, Chunliang Zhang, Zhi-Hui Zhan:
Hyperparameters optimization of convolutional neural network based on local autonomous competition harmony search algorithm. J. Comput. Des. Eng. 10(4): 1280-1297 (2023) - [j25]Yunxiao Pang, Huaxiang Zhang, Lei Zhu, Dongmei Liu, Li Liu:
Feature generation based on relation learning and image partition for occluded person re-identification. J. Vis. Commun. Image Represent. 91: 103772 (2023) - [j24]Mengru Yuan, Huaxiang Zhang, Dongmei Liu, Lin Wang, Li Liu:
Semantic-embedding Guided Graph Network for cross-modal retrieval. J. Vis. Commun. Image Represent. 93: 103807 (2023) - [j23]Zekang Wang, Li Liu, Huaxiang Zhang, Dongmei Liu, Yu Song:
Generative adversarial text-to-image generation with style image constraint. Multim. Syst. 29(6): 3291-3303 (2023) - [j22]Chunpu Sun, Huaxiang Zhang, Li Liu, Dongmei Liu, Lin Wang:
Multi-label adversarial fine-grained cross-modal retrieval. Signal Process. Image Commun. 117: 117018 (2023) - [j21]Tian Jin, Fangchi Li, Honglei Qin, Dongmei Liu:
Differential Time of Arrival Based Opportunistic Positioning for Asynchronous Cellular Signals: Model, Algorithms and Experiments. IEEE Trans. Veh. Technol. 72(10): 12983-12999 (2023) - [c59]Dongmei Liu, Zhongwang Zhu, Bo Chen:
Foreign object recognition method of transmission line based on improved outlier rate method. CACML 2023: 377-381 - [c58]Dongmei Liu, Tianshu Wang, Sunde Wang, Tianjiao Wu:
Dual-parameter sensor based on polarization-maintaining fiber Mach-Zender interferometer. ICAIT 2023: 308-311 - [c57]Zichen Yin, Dongmei Liu:
MFC-Net: A Multiple Feature Complementation Network for Person Re-identification in Aerial Imagery. ICMIP 2023: 21-27 - [c56]Yu Song, Li Liu, Huaxiang Zhang, Dongmei Liu, Hongzhen Li:
Arbitrary Style Transfer with Multiple Self-Attention. ICMIP 2023: 100-106 - 2022
- [j20]Xiuxiu Chen, Li Liu, Long Zhang, Huaxiang Zhang, Lili Meng, Dongmei Liu:
Group-pair deep feature learning for multi-view 3d model retrieval. Appl. Intell. 52(2): 2013-2022 (2022) - [j19]Dongmei Liu, Shubao Wang, Jing Wang:
The effect of CT high-resolution imaging diagnosis based on deep residual network on the pathology of bladder cancer classification and staging. Comput. Methods Programs Biomed. 215: 106635 (2022) - [j18]Qitong Lu, Peng Han, Jian Qiu, Kunyuan Xu, Kaiqing Luo, Dongmei Liu, Li Peng:
PMix: a method to improve the classification of X-ray prohibited items based on probability mixing. Int. J. Wirel. Mob. Comput. 22(2): 179-187 (2022) - [j17]Dongmei Liu, Liu Liu, Yufeng Lu:
Behaviour of infinite chains described by Laurent operators: first/second-order equations. IMA J. Math. Control. Inf. 39(1): 93-111 (2022) - [j16]Suibin Huang, Kun Yang, Hua Xiao, Peng Han, Jian Qiu, Li Peng, Dongmei Liu, Kaiqing Luo:
A new head pose tracking method based on stereo visual SLAM. J. Vis. Commun. Image Represent. 82: 103402 (2022) - [c55]Beilei Li, Peng Han, Li Peng, Kaiqing Luo, Dongmei Liu, Jian Qiu:
An Improved Calibration Method for the Structured Light System Based on Self-correction of Reprojection Error. ICMLC 2022: 539-544 - [c54]Churan Cao, Peng Han, Jian Qiu, Dongmei Liu, Li Peng, Kaiqing Luo:
Multi-channel Graph Convolution for Aspect-level Sentiment Classification of Online Student Reviews. MLNLP 2022: 252-257 - 2021
- [j15]Dongmei Liu, Faliang Chang, Huaxiang Zhang, Li Liu:
Level set method with Retinex-corrected saliency embedded for image segmentation. IET Image Process. 15(7): 1530-1541 (2021) - [j14]Guosheng Zhao, Dongmei Liu, Jian Wang:
The Game Selection Model for the Payoff Strategy Optimization of Mobile CrowdSensing Task. KSII Trans. Internet Inf. Syst. 15(4): 1426-1447 (2021) - [j13]Wenyu Shi, Qinglan Sun, Guomei Fan, Hideaki Sugawara, Moriya Ohkuma, Takashi Itoh, Yuguang Zhou, Man Cai, Song-Gun Kim, Jung-Sook Lee, Ivo Sedlacek, David R. Arahal, Teresa Lucena, Hiroko Kawasaki, Lyudmila Evtushenko, Bevan S. Weir, Sarah Alexander, Dlauchy Dénes, Somboon Tanasupawat, Lily Eurwilaichitr, Supawadee Ingsriswang, Bruno Gomez-Gil, Manzour H. Hazbón, Marco A. Riojas, Chatrudee Suwannachart, Su Yao, Peter Vandamme, Fang Peng, Zenghui Chen, Dongmei Liu, Xiuqiang Sun, Xinjiao Zhang, Yuanchun Zhou, Zhen Meng, Linhuan Wu, Juncai Ma:
gcType: a high-quality type strain genome database for microbial phylogenetic and functional research. Nucleic Acids Res. 49(Database-Issue): D694-D705 (2021) - [c53]Jiamin Huang, Zhao Zhang, Jian Qiu, Li Peng, Dongmei Liu, Peng Han, Kaiqing Luo:
Automatic Classroom Question Classification Based on Bloom's Taxonomy. ICETC 2021: 33-39 - [c52]Haihua Ling, Peng Han, Jian Qiu, Li Peng, Dongmei Liu, Kaiqing Luo:
A Method of Speech Separation between Teachers and Students in Smart Classrooms Based on Speaker Diarization. ICETC 2021: 53-61 - [c51]Suibin Huang, Hua Xiao, Peng Han, Jian Qiu, Li Peng, Dongmei Liu, Kaiqing Luo:
Head Pose Tracking Method Based on Face Detection And Stereo Visual SLAM. ICSAI 2021: 1-6 - [c50]Tian Tian, Li Liu, Huaxiang Zhang, Dongmei Liu:
PBNet: Position-specific Text-to-image Generation by Boundary. MMAsia 2021: 55:1-55:4 - [c49]Wenjin Pan, Peng Han, Jian Qiu, Dongmei Liu, Li Peng, Kaiqing Luo:
A method for automatic detection of teacher's gaze area based on smart classroom system. WCSP 2021: 1-5 - 2020
- [j12]Zhendi Gai, Dongmei Liu, Faliang Chang, Nanjun Li:
Abnormal Crowd behaviour Detection based on Deep Learning and Sparse Representation. Int. J. Robotics Autom. 35(4) (2020) - [j11]Yuqi Guo, Bin Li, Matthew Daniel Christie, Zongzhi Li, Miguel Ángel Sotelo, Yulin Ma, Dongmei Liu, Zhixiong Li:
Hybrid Dynamic Traffic Model for Freeway Flow Analysis Using a Switched Reduced-Order Unknown-Input State Observer. Sensors 20(6): 1609 (2020) - [j10]Guisheng Fan, Liqiong Chen, Huiqun Yu, Dongmei Liu:
Modeling and Analyzing Dynamic Fault-Tolerant Strategy for Deadline Constrained Task Scheduling in Cloud Computing. IEEE Trans. Syst. Man Cybern. Syst. 50(4): 1260-1274 (2020) - [c48]Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng:
Automation of Datamorphic Testing. AITest 2020: 64-72 - [c47]Zipiao Zhao, Yongli Zhao, Yajie Li, Ying Wang, Sabidur Rahman, Dongmei Liu, Jie Zhang:
Service Restoration in Multi-Modal Optical Transport Networks with Reinforcement Learning. ICNC 2020: 204-208 - [c46]Xiaoyu Zheng, Dongmei Liu, Hong Zhu, Ian Bayley:
Pattern-Based Approach to Modelling and Verifying System Security. SOSE 2020: 92-102
2010 – 2019
- 2019
- [c45]Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin:
Datamorphic Testing: A Method for Testing Intelligent Applications. AITest 2019: 149-156 - [i2]Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin:
Datamorphic Testing: A Methodology for Testing AI Applications. CoRR abs/1912.04900 (2019) - [i1]Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng:
Morphy: A Datamorphic Software Test Automation Tool. CoRR abs/1912.09881 (2019) - 2018
- [j9]Guisheng Fan, Liqiong Chen, Huiqun Yu, Dongmei Liu:
Formally modeling and analyzing cost-aware job scheduling for cloud data center. Softw. Pract. Exp. 48(9): 1536-1559 (2018) - [c44]Boyuan Yan, Yongli Zhao, Wei Wang, Longchuan Yan, Ying Wang, Jun Liu, Shulin Zhang, Dongmei Liu, Yi Lin, Haomian Zheng, Jie Zhang:
First Demonstration of Machine-Learning-Based Self-Optimizing Optical Networks (SOON) Running on Commercial Equipment. ECOC 2018: 1-3 - [e4]Sihan Qing, Chris Mitchell, Liqun Chen, Dongmei Liu:
Information and Communications Security - 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings. Lecture Notes in Computer Science 10631, Springer 2018, ISBN 978-3-319-89499-7 [contents] - 2017
- [j8]Huai-An Diao, Dongmei Liu, Sanzheng Qiao:
Structured condition numbers and small sample condition estimation of symmetric algebraic Riccati equations. Appl. Math. Comput. 314: 80-97 (2017) - 2016
- [j7]Lin Jiang, Yong Wang, Dongmei Liu:
Logistics cost sharing in supply chains involving a third-party logistics provider. Central Eur. J. Oper. Res. 24(1): 207-230 (2016) - [j6]Chunsheng Liu, Faliang Chang, Zhenxue Chen, Dongmei Liu:
Fast Traffic Sign Recognition via High-Contrast Region Extraction and Extended Sparse Representation. IEEE Trans. Intell. Transp. Syst. 17(1): 79-92 (2016) - [c43]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Modeling and Analyzing Cost and Utilization Based Task Scheduling for Cloud Application. COMPSAC 2016: 245-250 - [c42]Dongmei Liu, Xian Wu, Xin Zhang, Hong Zhu, Ian Bayley:
Monic Testing of Web Services Based on Algebraic Specifications. SOSE 2016: 24-33 - [c41]Dongmei Liu, Yunfei Yang, Ying Chen, Hong Zhu, Ian Bayley, Arantza Aldea:
Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications. SOSE 2016: 211-220 - [e3]Sihan Qing, Eiji Okamoto, Kwangjo Kim, Dongmei Liu:
Information and Communications Security - 17th International Conference, ICICS 2015, Beijing, China, December 9-11, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9543, Springer 2016, ISBN 978-3-319-29813-9 [contents] - 2015
- [j5]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
A formal aspect-oriented method to model and analyse secure service composition. Int. J. Auton. Adapt. Commun. Syst. 8(2/3): 119-140 (2015) - [c40]Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu:
Big SaaS: The Next Step beyond Big Data. CLOUD 2015: 1131-1140 - [c39]Xiaoli Wang, Dongmei Liu, Lirong Wang:
A Feature Point Matching Algorithm for Complex Background Image. BDCloud 2015: 243-247 - [c38]Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu:
Big SaaS: The Next Step Beyond Big Data. BigData Congress 2015: 775-784 - [c37]Chunlei Ye, Dongmei Liu, Na Chen, Li Lin:
Mapping the topic evolution using citation-topic model and social network analysis. FSKD 2015: 2648-2653 - [c36]Dongmei Liu, Yuxin Liu, Xin Zhang, Hong Zhu, Ian Bayley:
Automated Testing of Web Services Based on Algebraic Specifications. SOSE 2015: 143-152 - [c35]Guisheng Fan, Liqiong Chen, Huiqun Yu, Dongmei Liu:
Formally Modeling and Analyzing the Reliability of Composite Service Evolution. TASE 2015: 87-94 - 2014
- [j4]Xiuqiao Li, Limin Xiao, Ke Xie, Bin Dong, Ruan Li, Dongmei Liu:
Towards hybrid client-side cache management in network-based file systems. Comput. Sci. Inf. Syst. 11(1): 271-289 (2014) - [c34]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Formal Modeling and Analyzing the Reliability for Service Composition. APSEC (1) 2014: 86-93 - [c33]Ahmadreza Vajdi, Gongxuan Zhang, Yongli Wang, Yang Zhao, Dongmei Liu, Tianshu Wang:
A New Approach Based on Intelligent Water Drops Algorithm for Node Selection in Service-Oriented Wireless Sensor Networks. BDCloud 2014: 33-40 - [c32]Ziwei Hu, Yang Wang, Xin Li, Dongmei Liu:
Research and Utilization on RFID Label in Substation Inspection. CloudComp 2014: 232-239 - [c31]Yang Wang, Geng Zhang, Ziwei Hu, Dongmei Liu:
The Application of Inspection Platform in Substation Inspection. CloudComp 2014: 240-244 - [c30]Dongmei Liu, Hong Zhu, Ian Bayley:
SOFIA: An Algebraic Specification Language for Developing Services. SOSE 2014: 70-75 - 2013
- [j3]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Petri net based techniques for constructing reliable service composition. J. Syst. Softw. 86(4): 1089-1106 (2013) - [j2]Zidong Wang, Julie Eatock, Sally I. McClean, Dongmei Liu, Xiaohui Liu, Terry Young:
Modeling Throughput of Emergency Departments via Time Series: An Expectation Maximization Algorithm. ACM Trans. Manag. Inf. Syst. 4(4): 16:1-16:16 (2013) - [c29]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
A Game Theoretic Method to Model and Evaluate Attack-Defense Strategy in Cloud Computing. IEEE SCC 2013: 659-666 - [c28]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Modeling and Optimizing Resource Scheduling for Service Composition Based on Queuing Petri Nets. COMPSAC 2013: 529-538 - [c27]Dongmei Liu, Hong Zhu, Ian Bayley:
From Algebraic Specification to Ontological Description of Service Semantics. ICWS 2013: 579-586 - [c26]Dongmei Liu, Hong Zhu, Ian Bayley:
A Case Study on Algebraic Specification of Cloud Computing. PDP 2013: 269-273 - [c25]Huiqun Yu, Guisheng Fan, Liqiong Chen, Dongmei Liu:
Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud Computing. SEKE 2013: 77-82 - [c24]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Aspect Orientation Based Test Case Selection Strategy for Service Composition. TASE 2013: 95-104 - [e2]Sihan Qing, Jianying Zhou, Dongmei Liu:
Information and Communications Security - 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings. Lecture Notes in Computer Science 8233, Springer 2013, ISBN 978-3-319-02725-8 [contents] - 2012
- [c23]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Model Based Byzantine Fault Detection Technique for Cloud Computing. APSCC 2012: 249-256 - [c22]Xiuqiao Li, Bin Dong, Limin Xiao, Li Ruan, Dongmei Liu:
CEFLS: A Cost-Effective File Lookup Service in a Distributed Metadata File System. CCGRID 2012: 25-32 - [c21]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition. COMPSAC 2012: 42-51 - [c20]Xiuqiao Li, Bin Dong, Limin Xiao, Li Ruan, Dongmei Liu:
HCCache: A Hybrid Client-Side Cache Management Scheme for I/O-intensive Workloads in Network-Based File Systems. PDCAT 2012: 467-473 - 2011
- [j1]Stephen Guest, Jingkai Yu, Dongmei Liu, Julie A. Hines, Maria A. Kashat, Russell L. Finley Jr.:
A protein network-guided screen for cell cycle regulators in Drosophila. BMC Syst. Biol. 5: 65 (2011) - [c19]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
An Approach to Modeling and Analyzing Security Requirements of Service Composition. APSCC 2011: 456-463 - [c18]Huiqun Yu, Dongmei Liu, Guisheng Fan, Liqiong Chen:
A Regression Test Technique for Analyzing the Functionalities of Service Composition. SEKE 2011: 578-582 - [c17]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
A Certificate Driven Access Control Strategy for Service Composition and Its Analysis. TrustCom 2011: 1584-1591 - [e1]Sihan Qing, Willy Susilo, Guilin Wang, Dongmei Liu:
Information and Communications Security - 13th International Conference, ICICS 2011, Beijing, China, November 23-26, 2011. Proceedings. Lecture Notes in Computer Science 7043, Springer 2011, ISBN 978-3-642-25242-6 [contents] - 2010
- [c16]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Aspect Oriented Approach to Building Secure Service Composition. APSEC 2010: 176-185 - [c15]Huiqun Yu, Guisheng Fan, Liqiong Chen, Dongmei Liu:
A Fault-Tolerant Strategy for Improving the Reliability of Service Composition. QSIC 2010: 312-317 - [c14]Xiushu Tian, Yingna Liu, Dongmei Liu, Yuhong Li, Ming Yang:
Construction of Quality Guarantee System in Higher Education in China. WKDD 2010: 323-325
2000 – 2009
- 2009
- [c13]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Analyzing Reliability of Time Constrained Service Composition. ACIS-ICIS 2009: 1155-1160 - [c12]Dongmei Liu, Zhiqing Shao, Caizhu Yu, Guisheng Fan:
A Heuristic QoS-Aware Service Selection Approach to Web Service Composition. ACIS-ICIS 2009: 1184-1189 - [c11]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
A Method for Modeling and Analyzing Fault-Tolerant Service Composition. APSEC 2009: 507-514 - [c10]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
An Approach to Analyzing Dynamic Trustworthy Service Composition. ASWC 2009: 261-275 - [c9]Li Liu, Zhong Zhou, Dongmei Liu, Wei Wu:
Congestion Control Algorithm Based on Loss Trend Oriented to Many-to-Many Reliable Multicast. SNPD 2009: 93-99 - 2008
- [c8]Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Analyzing BPEL Compositionality Based on Petri Nets. COMPSAC 2008: 373-376 - [c7]Guisheng Fan, Huiqun Yu, Dongmei Liu, Liqiong Chen:
Modeling and Analyzing Time Constrains for Service Composition. ICYCS 2008: 124-129 - [c6]Dongmei Liu, Zhaoxia Wang:
A united classification system of X-ray image based on fuzzy rule and neural networks. ISKE 2008: 717-722 - [c5]Dongmei Liu, Sihan Qing, Pengfei Li, ChunYang Yuan:
A Practical Certified E-Mail System with Temporal Authentication Based on Transparent TSS. SNPD 2008: 285-290 - 2007
- [c4]Dongmei Liu, Zhaoxia Wang:
A Method of X-Ray Image Recognition Based on Fuzzy Rule and Parallel Neural Networks. ISNN (2) 2007: 1231-1239 - 2006
- [c3]Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He:
Modeling Complex Software Systems Using an Aspect Extension of Object-Z. SEKE 2006: 11-16 - 2005
- [c2]Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao:
Secure Software Architectures Design by Aspect Orientation. ICECCS 2005: 47-55 - [c1]Huiqun Yu, Dongmei Liu, Li Yang, Xudong He:
Formal Aspect-Oriented Modeling and Analysis by Aspect. SEKE 2005: 169-174