Search the dblp DataBase
I-Ling Yen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Farokh B. Bastani , S. Sitharama Iyengar , I-Ling Yen Concurrent Maintenance of Data Structures in a Distributed Environment. [Citation Graph (2, 0)][DBLP ] Comput. J., 1988, v:31, n:2, pp:165-174 [Journal ] Quang Vinh Nguyen , Mao Lin Huang , Kang Zhang , I-Ling Yen A Visualization Model for Web Sitemaps. [Citation Graph (0, 0)][DBLP ] CGIV, 2006, pp:12-17 [Conf ] Peng Li , Jayabharath Goluguri , I-Ling Yen , Ann T. Tai Multi-Criteria Transaction for E-Commerce Applications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2001, pp:596-602 [Conf ] Qingkai Ma , Wei Hao , Wei Li , Manghui Tu , I-Ling Yen PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2003, pp:690-695 [Conf ] Raymond A. Paul , Farokh B. Bastani , I-Ling Yen , Venkata U. B. Challagulla Defect-Based Reliability Analysis for Mission-Critical Software. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2000, pp:439-444 [Conf ] Raymond A. Paul , Venkata U. B. Challagulla , Farokh B. Bastani , I-Ling Yen A Memory-Based Reasoning Approach for Assessing Software Quality. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2001, pp:97-103 [Conf ] I-Ling Yen , Ing-Ray Chen Quality Assessment for Multiple Server Cooperating Systems. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1995, pp:218-223 [Conf ] I-Ling Yen , K. Karun Implementation and performance assessment of multilevel data structures. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:153-0 [Conf ] Kendra Cooper , Jia Zhou , Hui Ma , I-Ling Yen , Farokh B. Bastani Code Parameterization for Satisfaction of QoS Requirements in Embedded Software. [Citation Graph (0, 0)][DBLP ] Engineering of Reconfigurable Systems and Algorithms, 2003, pp:58-64 [Conf ] I-Ling Yen , Farokh B. Bastani Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. [Citation Graph (0, 0)][DBLP ] FTCS, 1994, pp:154-163 [Conf ] Farokh B. Bastani , I-Ling Yen , Sung Kim Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. [Citation Graph (0, 0)][DBLP ] HASE, 2001, pp:65-74 [Conf ] Qingkai Ma , Wei Hao , I-Ling Yen , Farokh B. Bastani Multiparty Computation with Full Computation Power and Reduced Overhead. [Citation Graph (0, 0)][DBLP ] HASE, 2004, pp:241-248 [Conf ] Dongfeng Wang , Hui Ma , Farokh B. Bastani , I-Ling Yen Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems. [Citation Graph (0, 0)][DBLP ] HASE, 2004, pp:3-11 [Conf ] I-Ling Yen Computer security: the good, the bad and the ugly. [Citation Graph (0, 0)][DBLP ] HASE, 1996, pp:52-53 [Conf ] I-Ling Yen , Biao Chen , Ing-Ray Chen Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure. [Citation Graph (0, 0)][DBLP ] HASE, 1999, pp:161-168 [Conf ] Jia Zhou , Kendra Cooper , I-Ling Yen A Rule-Based Component Customization Technique for QoS Properties. [Citation Graph (0, 0)][DBLP ] HASE, 2004, pp:302-303 [Conf ] Yung-Kang Chu , I-Ling Yen , Diane T. Rover Guiding processor allocation with estimated execution time for mesh connected multiple processor systems. [Citation Graph (0, 0)][DBLP ] HICSS (2), 1995, pp:163-172 [Conf ] Biao Chen , I-Ling Yen TCP Glow Performance Guarantee in DiffServ Networks. [Citation Graph (0, 0)][DBLP ] International Conference on Internet Computing (1), 2001, pp:424-430 [Conf ] Farokh B. Bastani , I-Ling Yen A Fault Tolerant Replicated Storage System. [Citation Graph (0, 11)][DBLP ] ICDE, 1987, pp:449-454 [Conf ] Zhonghang Xia , I-Ling Yen Proxy assistant for streaming media delivery. [Citation Graph (0, 0)][DBLP ] ICME, 2004, pp:1331-1334 [Conf ] Qingkai Ma , Liangliang Xiao , I-Ling Yen , Manghui Tu , Farokh B. Bastani An Adaptive Multiparty Protocol for Secure Data Protection. [Citation Graph (0, 0)][DBLP ] ICPADS (1), 2005, pp:43-49 [Conf ] Mamoun Awad , Latifur Khan , Farokh B. Bastani , I-Ling Yen An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering. [Citation Graph (0, 0)][DBLP ] ICTAI, 2004, pp:663-667 [Conf ] Manish Gupta , Farokh B. Bastani , Latifur Khan , I-Ling Yen Automated Test Data Generation Using MEA-Graph Planning. [Citation Graph (0, 0)][DBLP ] ICTAI, 2004, pp:174-182 [Conf ] Raymond A. Paul , Farokh B. Bastani , Venkata U. B. Challagulla , I-Ling Yen Software Measurement Data Analysis Using Memory-Based Reasoning. [Citation Graph (0, 0)][DBLP ] ICTAI, 2002, pp:261-267 [Conf ] I-Ling Yen , Farokh B. Bastani , Fiaz Mohamed , Hui Ma , John Linn Application of AI Planning Techniques to Automated Code Synthesis and Testing. [Citation Graph (0, 0)][DBLP ] ICTAI, 2002, pp:131-137 [Conf ] I-Ling Yen , Latifur Khan , Balakrishnan Prabhakaran , Farokh B. Bastani , John Linn An On-Line Repository for Embedded Software. [Citation Graph (0, 0)][DBLP ] ICTAI, 2001, pp:314-0 [Conf ] Jicheng Fu , Farokh B. Bastani , I-Ling Yen Automated AI Planning and Code Pattern Based Code Synthesis. [Citation Graph (0, 0)][DBLP ] ICTAI, 2006, pp:540-546 [Conf ] Yansheng Zhang , Jicheng Fu , I-Ling Yen , Farokh B. Bastani , Ann T. Tai , Savio N. Chau , Farrokh Vatan , Amir Fijany QoS Adaptive ISHM Systems. [Citation Graph (0, 0)][DBLP ] ICTAI, 2006, pp:47-54 [Conf ] Venkata U. B. Challagulla , Farokh B. Bastani , I-Ling Yen A Unified Framework for Defect Data Analysis Using the MBR Technique. [Citation Graph (0, 0)][DBLP ] ICTAI, 2006, pp:39-46 [Conf ] Peng Li , I-Ling Yen , Zhonghang Xia M3TAgent : A Transaction Processing System for B2C E-Commerce. [Citation Graph (0, 0)][DBLP ] IKE, 2003, pp:186-192 [Conf ] Wei Li , Jiang He , Qingkai Ma , I-Ling Yen , Farokh B. Bastani , Raymond A. Paul A Framework to Support Survivable Web Services. [Citation Graph (0, 0)][DBLP ] IPDPS, 2005, pp:- [Conf ] Qingkai Ma , Wei Li , I-Ling Yen , Farokh B. Bastani , Ing-Ray Chen Survivable Systems Based on an Adaptive NMR Algorithm. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] Manghui Tu , Peng Li , Qingkai Ma , I-Ling Yen , Farokh B. Bastani On the Optimal Placement of Secure Data Objects over Internet. [Citation Graph (0, 0)][DBLP ] IPDPS, 2005, pp:- [Conf ] Manghui Tu , Peng Li , I-Ling Yen Transaction Based Dynamic Partial Replication in Mobile Environments. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] Zhonghang Xia , Peng Li , I-Ling Yen A Neural Network Based Approach for Overlay Multicast in Media Streaming Systems. [Citation Graph (0, 0)][DBLP ] IPDPS, 2004, pp:- [Conf ] I-Ling Yen , Farokh B. Bastani Hash Table in Massively Parallel Systems. [Citation Graph (0, 0)][DBLP ] IPPS, 1992, pp:660-664 [Conf ] I-Ling Yen , Farokh B. Bastani Robust parallel resource management in shared memory multiprocessor systems. [Citation Graph (0, 0)][DBLP ] IPPS, 1995, pp:458-465 [Conf ] I-Ling Yen , Farokh B. Bastani , Ernst L. Leiss An Inherently Fault Tolerant Sorting Algorithm. [Citation Graph (0, 0)][DBLP ] IPPS, 1991, pp:37-42 [Conf ] I-Ling Yen , Rumi M. Dubash , Farokh B. Bastani Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures. [Citation Graph (0, 0)][DBLP ] IPPS, 1993, pp:672-679 [Conf ] Ing-Ray Chen , Ngoc Anh Phan , I-Ling Yen Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments. [Citation Graph (0, 0)][DBLP ] ISADS, 2001, pp:456-463 [Conf ] Farokh B. Bastani , Sung Kim , I-Ling Yen , Ing-Ray Chen An Architecture-Based Comparison of Verification and Statistical Reliability Assessment Methods for Embedded Software Systems. [Citation Graph (0, 0)][DBLP ] Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:177-180 [Conf ] Jian Liu , Jicheng Fu , Yansheng Zhang , Farokh B. Bastani , I-Ling Yen , Ann T. Tai , Savio N. Chau Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns. [Citation Graph (0, 0)][DBLP ] ISORC, 2006, pp:109-116 [Conf ] Dongfeng Wang , Farokh B. Bastani , I-Ling Yen , Raymond A. Paul An Approach for Designing Highly Adaptable Process-Control Systems. [Citation Graph (0, 0)][DBLP ] ISORC, 2005, pp:106-113 [Conf ] I-Ling Yen , Iftikhar Ahmed , Ramanujam Jagannath , Sreeparna Kundu Implementation of a Customizable Fault Tolerance Framework. [Citation Graph (0, 0)][DBLP ] ISORC, 1998, pp:230-239 [Conf ] I-Ling Yen , Jayabharath Goluguri , Farokh B. Bastani , Latifur Khan , John Linn A Component-Based Approach for Embedded Software Development. [Citation Graph (0, 0)][DBLP ] Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:402-0 [Conf ] Jia Zhou , Kendra Cooper , I-Ling Yen , John Linn , Raymond A. Paul A Software Enhancement System for Embedded Software Development. [Citation Graph (0, 0)][DBLP ] ISORC, 2006, pp:93-100 [Conf ] Jia Zhou , Kendra Cooper , I-Ling Yen , Raymond A. Paul Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration. [Citation Graph (0, 0)][DBLP ] ISORC, 2005, pp:426-433 [Conf ] Hui Ma , I-Ling Yen , Farokh B. Bastani , Kendra Cooper Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. [Citation Graph (0, 0)][DBLP ] ISSRE, 2003, pp:383-393 [Conf ] Farokh B. Bastani , Sung Kim , I-Ling Yen , Ing-Ray Chen Reliability Assessment of Framework-Based Distributed Embedded Software Systems. [Citation Graph (0, 0)][DBLP ] ISSRE, 2002, pp:367-376 [Conf ] Farokh B. Bastani , I-Ling Yen , Sung Kim , John Linn , Kashi Rao Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs. [Citation Graph (0, 0)][DBLP ] ISSRE, 2001, pp:314-323 [Conf ] Sung Kim , Farokh B. Bastani , I-Ling Yen , Ing-Ray Chen High-Assurance Synthesis of Security Services from Basic Microservices. [Citation Graph (0, 0)][DBLP ] ISSRE, 2003, pp:154-168 [Conf ] Ing-Ray Chen , Sheng-Tun Li , I-Ling Yen QoS Control Algorithms Based on Benefit Optimization for Video Servers Providing Differentiated Services. [Citation Graph (0, 0)][DBLP ] JCIS, 2002, pp:988-991 [Conf ] Hui Ma , Dongfeng Wang , Farokh B. Bastani , I-Ling Yen , Kendra Cooper A Model and Methodology for Composition QoS Analysis of Embedded Systems. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time and Embedded Technology and Applications Symposium, 2005, pp:56-65 [Conf ] Dongfeng Wang , Farokh B. Bastani , I-Ling Yen Relational Program Architecture for High Quality Software Development. [Citation Graph (0, 0)][DBLP ] SEKE, 2003, pp:346-353 [Conf ] Dongfeng Wang , Farokh B. Bastani , I-Ling Yen Automated Software Design of Process-Control Systems. [Citation Graph (0, 0)][DBLP ] SEKE, 2003, pp:467-474 [Conf ] Tong Gao , Kendra Cooper , Hui Ma , I-Ling Yen , Farokh B. Bastani Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:217-222 [Conf ] Tong Gao , Kendra Cooper , Hui Ma , I-Ling Yen , Farokh B. Bastani An Object-Oriented Modeling Learning Support System With Inspection Comments. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:211-216 [Conf ] Jian Liu , Farokh B. Bastani , I-Ling Yen A Formal Foundation of Code Pattern Based Development. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:274-279 [Conf ] Jian Liu , Farokh B. Bastani , I-Ling Yen Meta Code Pattern and Its Refinement. [Citation Graph (0, 0)][DBLP ] Software Engineering Research and Practice, 2005, pp:504-510 [Conf ] I-Ling Yen Specialized N-Modular Redundant Processors in Large-Scale Distributed Systems. [Citation Graph (0, 0)][DBLP ] Symposium on Reliable Distributed Systems, 1996, pp:12-21 [Conf ] Nirav Shah , Farokh B. Bastani , I-Ling Yen A Real-Time Scheduling Based Framework for Traffic Coordination Systems. [Citation Graph (0, 0)][DBLP ] SUTC (1), 2006, pp:321-325 [Conf ] Venkata U. B. Challagulla , Farokh B. Bastani , I-Ling Yen , Raymond A. Paul Empirical Assessment of Machine Learning based Software Defect Prediction Techniques. [Citation Graph (0, 0)][DBLP ] WORDS, 2005, pp:263-270 [Conf ] Wei Hao , Tong Gao , I-Ling Yen , Yinong Chen , Raymond A. Paul An Infrastructure for Web Services Migration for Real-Time Applications. [Citation Graph (0, 0)][DBLP ] SOSE, 2006, pp:41-48 [Conf ] Feng Luo , Latifur Khan , Farokh B. Bastani , I-Ling Yen , Jizhong Zhou A dynamically growing self-organizing tree (DGSOT) for hierarchical clustering gene expression profiles. [Citation Graph (0, 0)][DBLP ] Bioinformatics, 2004, v:20, n:16, pp:2605-2617 [Journal ] Ing-Ray Chen , I-Ling Yen Analysis of Probabilistic Error Checking Procedures on Storage Systems. [Citation Graph (0, 0)][DBLP ] Comput. J., 1995, v:38, n:5, pp:348-354 [Journal ] I-Ling Yen , Raymond A. Paul , Kinji Mori Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction). [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1998, v:31, n:4, pp:32-34 [Journal ] I-Ling Yen , Raymond A. Paul , Victor L. Winter , John M. Covan , Larry J. Dalton , Leon Alkalai , Ann T. Tai , Rick Harper , Barry Flahive , Wei-Tek Tsai , Ramin Mojdehbakhsh , Sanjai Rayadurgam , Kinji Mori , Michael R. Lowry Key Applications for High-Assurance Systems. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1998, v:31, n:4, pp:35-45 [Journal ] Peng Li , Manghui Tu , I-Ling Yen , Zhonghang Xia Preference update for e-commerce applications: Model, language, and processing. [Citation Graph (0, 0)][DBLP ] Electronic Commerce Research, 2007, v:7, n:1, pp:17-44 [Journal ] Dongfeng Wang , Farokh B. Bastani , I-Ling Yen A Systematic Design Method For High Quality Process-Control Systems Development. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 2004, v:14, n:1, pp:43-59 [Journal ] I-Ling Yen , Iftikhar Ahmed , Ramanujam Jagannath , Sreeparna Kundu The Design and Implementation of a Customizable Fault Tolerance Framework. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 1999, v:9, n:2, pp:181-202 [Journal ] Tong Gao , Hui Ma , I-Ling Yen , Latifur Khan , Farokh B. Bastani A Repository for Component-based Embedded Software Development. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:4, pp:523-552 [Journal ] I-Ling Yen A Highly Safe Self-Stabilizing Mutual Exclusion Algorithm. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1996, v:57, n:6, pp:301-305 [Journal ] I-Ling Yen , Farokh B. Bastani Parallel Hashing: Collision Resolution Strategies and Performance. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1995, v:31, n:2, pp:190-198 [Journal ] Zhonghang Xia , I-Ling Yen , Donglei Du , Peng Li An integrated admission control scheme for the delivery of streaming media. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2006, v:66, n:3, pp:334-344 [Journal ] Hui Ma , I-Ling Yen , Jia Zhou , Kendra Cooper QoS analysis for component-based embedded software: Model and methodology. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2006, v:79, n:6, pp:859-870 [Journal ] Manish Gupta , Manghui Tu , Latifur Khan , Farokh B. Bastani , I-Ling Yen A study of the model and algorithms for handling location-dependent continuous queries. [Citation Graph (0, 0)][DBLP ] Knowl. Inf. Syst., 2005, v:8, n:4, pp:414-437 [Journal ] Ing-Ray Chen , Sheng-Tun Li , I-Ling Yen Adaptive QoS Control Based on Benefit Optimization for Video Servers Providing Differentiated Services. [Citation Graph (0, 0)][DBLP ] Multimedia Tools Appl., 2005, v:25, n:2, pp:167-185 [Journal ] Manghui Tu , Peng Li , Liangliang Xiao , I-Ling Yen , Farokh B. Bastani Replica Placement Algorithms for Mobile Transaction Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2006, v:18, n:7, pp:954-970 [Journal ] Jiang He , Tong Gao , Wei Hao , I-Ling Yen , Farokh B. Bastani A Flexible Content Adaptation System Using a Rule-Based Approach. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2007, v:19, n:1, pp:127-140 [Journal ] Ing-Ray Chen , Ngoc Anh Phan , I-Ling Yen Algorithms for Supporting Disconnected Write Operations for Wireless Web Access in Mobile Client-Server Environments. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Mob. Comput., 2002, v:1, n:1, pp:46-58 [Journal ] Zhonghang Xia , Wei Hao , I-Ling Yen , Peng Li A Distributed Admission Control Model for QoS Assurance in Large-Scale Media Delivery Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 2005, v:16, n:12, pp:1143-1153 [Journal ] Farokh B. Bastani , I-Ling Yen , Ing-Ray Chen A Class of Inherently Fault Tolerant Distributed Programs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:10, pp:1432-1442 [Journal ] Sung Kim , Farokh B. Bastani , I-Ling Yen , Ing-Ray Chen Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2004, v:30, n:4, pp:218-230 [Journal ] Abha Moitra , S. Sitharama Iyengar , Farokh B. Bastani , I-Ling Yen Multilevel Data Structures: Models and Performance. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:6, pp:858-867 [Journal ] Dongfeng Wang , Farokh B. Bastani , I-Ling Yen Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2005, v:31, n:9, pp:713-732 [Journal ] I-Ling Yen , Farokh B. Bastani , David J. Taylor Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:3, pp:193-207 [Journal ] Wei Hao , Jicheng Fu , Jiang He , I-Ling Yen , Farokh B. Bastani , Ing-Ray Chen Extending Proxy Caching Capability: Issues and Performance. [Citation Graph (0, 0)][DBLP ] World Wide Web, 2006, v:9, n:3, pp:253-275 [Journal ] Jicheng Fu , Farokh B. Bastani , I-Ling Yen Iterative Planning in the Context of Automated Code Synthesis. [Citation Graph (0, 0)][DBLP ] COMPSAC (1), 2007, pp:251-259 [Conf ] Zhonghang Xia , Wei Hao , I-Ling Yen A distributed integrated request processing algorithm for QoS assurance in large-scale media-based systems. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2007, v:67, n:7, pp:863-875 [Journal ] Manish Gupta , Jicheng Fu , Farokh B. Bastani , Latifur Khan , I-Ling Yen Rapid goal-oriented automated software testing using MEA-graph planning. [Citation Graph (0, 0)][DBLP ] Software Quality Journal, 2007, v:15, n:3, pp:241-263 [Journal ] Jia Zhou , Kendra Cooper , Hui Ma , I-Ling Yen On the Customization of Components: A Rule-Based Approach. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 2007, v:19, n:9, pp:1262-1275 [Journal ] Service Composition for Real-Time Assurance. [Citation Graph (, )][DBLP ] Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model. [Citation Graph (, )][DBLP ] Dynamic Service and Data Migration in the Clouds. [Citation Graph (, )][DBLP ] An Early Reliability Assessment Model for Data-Flow Software Architectures. [Citation Graph (, )][DBLP ] Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. [Citation Graph (, )][DBLP ] Delegation-Based Security Model for Web Services. [Citation Graph (, )][DBLP ] Placement in Dependable and Secure Peer-to-Peer Data Grids. [Citation Graph (, )][DBLP ] Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. [Citation Graph (, )][DBLP ] Low Cost Secure Computation for the General Client-Server Computation Model. [Citation Graph (, )][DBLP ] Secure, Highly Available, and High Performance Peer-to-Peer Storage Systems. [Citation Graph (, )][DBLP ] Adaptive User Interface Generation for Web Services. [Citation Graph (, )][DBLP ] FIP: A Fast Planning-Graph-Based Iterative Planner. [Citation Graph (, )][DBLP ] A Novel PSO-MP Approach for Database Replications at Edge Servers. [Citation Graph (, )][DBLP ] Decentralized Path Planner for Multi-robot Systems. [Citation Graph (, )][DBLP ] Enhancing Security Modeling for Web Services Using Delegation and Pass-On. [Citation Graph (, )][DBLP ] The SCIFC Model for Information Flow Control in Web Service Composition. [Citation Graph (, )][DBLP ] Policy-Driven Service Composition with Information Flow Control. [Citation Graph (, )][DBLP ] Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems. [Citation Graph (, )][DBLP ] Correlated Data Placement in Widely Distributed Systems. [Citation Graph (, )][DBLP ] Evaluating Dependable Distributed Storage Systems. [Citation Graph (, )][DBLP ] Availability Analysis of Robotic Swarm Systems. [Citation Graph (, )][DBLP ] A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation. [Citation Graph (, )][DBLP ] Achieving high performance web applications by service and database replications at edge servers. [Citation Graph (, )][DBLP ] Model-Driven Prototyping Based Requirements Elicitation. [Citation Graph (, )][DBLP ] An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. [Citation Graph (, )][DBLP ] Using Service Patterns to Achieve Web Service Composition. [Citation Graph (, )][DBLP ] Real-Time Service-Oriented Distributed Governance. [Citation Graph (, )][DBLP ] QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems. [Citation Graph (, )][DBLP ] Search in 0.071secs, Finished in 0.079secs