I-Ling Yen

According to our database1, I-Ling Yen authored at least 217 papers between 1987 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Invited Paper: Semantic IoT Data Description and Discovery in the IoT-Edge-Fog-Cloud Infrastructure.
Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019

Toward Better Service Performance Management via Workload Prediction.
Proceedings of the Services Computing - SCC 2019, 2019

An OpenRBAC Semantic Model for Access Control in Vehicular Networks.
Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

Service Specification and Discovery in IoT Networks.
Proceedings of the 2019 IEEE International Conference on Web Services, 2019

Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

A Smart Role Mapping Recommendation System.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018
Service-Oriented IoT Modeling and Its Deviation from Software Services.
Proceedings of the IEEE Symposium on Service-Oriented System Engineering, 2018

Trustworthy Computing in the Dynamic IoT Cloud.
Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

Semantic-Based Information Sharing in Vehicular Networks.
Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Resource and Role Hierarchy Based Access Control for Resourceful Systems.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
A Framework for IoT-Based Monitoring and Diagnosis of Manufacturing Systems.
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

A Semantic Model for Information Sharing in Autonomous Vehicle Systems.
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

SaaS for Automated Job Performance Appraisals Using Service Technologies and Big Data Analytics.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Efficient Caching for Peer-to-Peer Service Discovery in Internet of Things.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Automated Holistic Service Composition: Modeling and Composition Reasoning Techniques.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

From Software Services to IoT Services: The Modeling Perspective.
Proceedings of the Serviceology for Services - 5th International Conference, 2017

Routing in IoT Network for Dynamic Service Discovery.
Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

2016
Role-Based Integrated Access Control and Data Provenance for SOA Based Net-Centric Systems.
IEEE Trans. Services Computing, 2016

Guest Editorial: Special Issue on Cyber-Physical Systems and Services.
IEEE Trans. Services Computing, 2016

Fast strong planning for fully observable nondeterministic planning problems.
Ann. Math. Artif. Intell., 2016

Rapid Service Composition Reasoning for Agile Cyber Physical Systems.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Toward Semantic Enhancement of Monitoring Data Repository.
Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016

A Self-Stabilizing Algorithm for the Foraging Problem in Swarm Robotic Systems.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Multi-tenant Access and Information Flow Control for SaaS.
Proceedings of the IEEE International Conference on Web Services, 2016

Robust real-time UAV based power line detection and tracking.
Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

Integrating Clustering and Learning for Improved Workload Prediction in the Cloud.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015
A service pattern model for service composition with flexible functionality.
Inf. Syst. E-Business Management, 2015

A CFL-ontology model for carbon footprint reasoning.
Proceedings of the 9th IEEE International Conference on Semantic Computing, 2015

Workload Estimation for Improving Resource Management Decisions in the Cloud.
Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015

A Smart Physical World Based on Service Technologies, Big Data, and Game-Based Crowd Sourcing.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

A PT-SOA Model for CPS/IoT Services.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

An Access and Information Flow Control Paradigm for Secure Information Sharing in Service-Based Systems.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Distributed replica placement algorithms for correlated data.
The Journal of Supercomputing, 2014

Fast Strong Planning for FOND Problems with Multi-Root Directed Acyclic Graphs.
International Journal on Artificial Intelligence Tools, 2014

2013
Security-Aware Service Composition with Fine-Grained Information Flow Control.
IEEE Trans. Services Computing, 2013

QoS-Driven Service Composition with Reconfigurable Services.
IEEE Trans. Services Computing, 2013

High Consequence Systems and Semantic Computing.
Int. J. Semantic Computing, 2013

Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing.
J. Grid Comput., 2013

A Semantic-based Semi-automated Role Mapping Mechanism (S).
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Toward Ontology and Service Paradigm for Enhanced Carbon Footprint Management and Labeling.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Fast Strong Planning for FOND Problems with Multi-root Directed Acyclic Graphs.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Multi-purpose Planning for Practical Web Service Composition Problems.
Proceedings of the Fifth International Conference on Service Science and Innovation, 2013

Service Composition with Functional Flexibility Using Nondeterministic Service Interface.
Proceedings of the IEEE 10th International Conference on e-Business Engineering, 2013

Access Protocols in Data Partitioning Based Cloud Storage.
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012
Extending Order Preserving Encryption for Multi-User Systems.
IACR Cryptology ePrint Archive, 2012

A Note for the Ideal Order-Preserving Encryption Object and Generalized Order-Preserving Encryption.
IACR Cryptology ePrint Archive, 2012

Security Analysis and Enhancement for Prefix-Preserving Encryption Schemes.
IACR Cryptology ePrint Archive, 2012

An Efficient Homomorphic Encryption Protocol for Multi-User Systems.
IACR Cryptology ePrint Archive, 2012

Optimization models for assessing the peak capacity utilization of intelligent transportation systems.
European Journal of Operational Research, 2012

Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

Information Assurance for Real-Time Decision Support.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

A Service Pattern Model for Flexible Service Composition.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Handling Planning Failures with Virtual Actions.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Real-Time Anomaly Detection in Streams of Execution Traces.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Automated Exception Handling in Service Composition Using Holistic Planning.
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

Security analysis for order preserving encryption schemes.
Proceedings of the 46th Annual Conference on Information Sciences and Systems, 2012

2011
Role-based integrated access control and data provenance for SOA based net-centric systems.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

QoS-driven dynamic adaptation in media intensive systems.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Model-Driven Development: Where Does the Code Come From?
Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems.
Proceedings of the IJCAI 2011, 2011

Rule-Based Run-Time Information Flow Control in Service Cloud.
Proceedings of the IEEE International Conference on Web Services, 2011

ROBUST Path Strategy Evaluator.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

High-Assurance Reconfigurable Multicore Processor Based Systems.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Leveraging Service Clouds for Power and QoS Management for Mobile Devices.
Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010
Secure Data Objects Replication in Data Grid.
IEEE Trans. Dependable Sec. Comput., 2010

Toward effective service composition for real-time SOA-based systems.
Service Oriented Computing and Applications, 2010

Secure, Dependable, and High Performance Cloud Storage.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

A Framework for QoS and Power Management in a Service Cloud Environment with Mobile Devices.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

A Framework for Efficient Service Composition in Cyber-Physical Systems.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Real-Time Service-Oriented Distributed Governance.
Proceedings of the 6th World Congress on Services, 2010

Using Virtual Services to Bridge the Semantic Gap.
Proceedings of the 4th IEEE International Conference on Semantic Computing (ICSC 2010), 2010

Policy-Driven Service Composition with Information Flow Control.
Proceedings of the IEEE International Conference on Web Services, 2010

Cloud Storage Design Based on Hybrid of Replication and Data Partitioning.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Scalable Authentication and Key Management in SCADA.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Kernel-based Approaches for Collaborative Filtering.
Proceedings of the Ninth International Conference on Machine Learning and Applications, 2010

Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

WS-Sim: A Web Service Simulation Toolset with Realistic Data Support.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009
Effective and efficient implementation of an information flow control protocol for service composition.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Extending service model to build an effective service composition framework for cyber-physical systems.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Using Service Patterns to Achieve Web Service Composition.
Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 2009

Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems.
Proceedings of the ISSRE 2009, 2009

Achieving high performance web applications by service and database replications at edge servers.
Proceedings of the 28th International Performance Computing and Communications Conference, 2009

The SCIFC Model for Information Flow Control in Web Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2009

Decentralized Path Planner for Multi-robot Systems.
Proceedings of the ICTAI 2009, 2009

Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Dynamic Service and Data Migration in the Clouds.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems.
IEEE Computer, 2008

A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation.
Proceedings of the IEEE International Conference on Sensor Networks, 2008

An Adaptive User Interface Generation Framework for Web Services.
Proceedings of the 2008 IEEE World Congress on Services, 2008

An Ontology-Based Integrated Assessment Framework for High-Assurance Systems.
Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008

Availability Analysis of Robotic Swarm Systems.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Enhancing Security Modeling for Web Services Using Delegation and Pass-On.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

A Novel PSO-MP Approach for Database Replications at Edge Servers.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

FIP: A Fast Planning-Graph-Based Iterative Planner.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Secure, Highly Available, and High Performance Peer-to-Peer Storage Systems.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Low Cost Secure Computation for the General Client-Server Computation Model.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

An Early Reliability Assessment Model for Data-Flow Software Architectures.
Proceedings of the Ninth Mexican International Conference on Computer Science, 2008

Service Composition for Real-Time Assurance.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
On the Customization of Components: A Rule-Based Approach.
IEEE Trans. Knowl. Data Eng., 2007

A Flexible Content Adaptation System Using a Rule-Based Approach.
IEEE Trans. Knowl. Data Eng., 2007

Rapid goal-oriented automated software testing using MEA-graph planning.
Software Quality Journal, 2007

A distributed integrated request processing algorithm for QoS assurance in large-scale media-based systems.
J. Parallel Distrib. Comput., 2007

Preference update for e-commerce applications: Model, language, and processing.
Electronic Commerce Research, 2007

Evaluating Dependable Distributed Storage Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

Correlated Data Placement in Widely Distributed Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007

Model-Driven Prototyping Based Requirements Elicitation.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

An Optimization Model for Rigorously Assessing Efficient Heuristics for Traffic Coordination at Intersections.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

Adaptive User Interface Generation for Web Services.
Proceedings of ICEBE 2007, 2007

Placement in Dependable and Secure Peer-to-Peer Data Grids.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Delegation-Based Security Model for Web Services.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007

Iterative Planning in the Context of Automated Code Synthesis.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Extending Proxy Caching Capability: Issues and Performance.
World Wide Web, 2006

Admission Control Algorithms for Revenue Optimization with QoS Guarantees in Mobile Wireless Networks.
Wireless Personal Communications, 2006

Replica Placement Algorithms for Mobile Transaction Systems.
IEEE Trans. Knowl. Data Eng., 2006

QoS analysis for component-based embedded software: Model and methodology.
Journal of Systems and Software, 2006

An integrated admission control scheme for the delivery of streaming media.
J. Parallel Distrib. Comput., 2006

A Repository for Component-based Embedded Software Development.
International Journal of Software Engineering and Knowledge Engineering, 2006

A Real-Time Scheduling Based Framework for Traffic Coordination Systems.
Proceedings of the IEEE International Conference on Sensor Networks, 2006

An Infrastructure for Web Services Migration for Real-Time Applications.
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

A Software Enhancement System for Embedded Software Development.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

QoS Adaptive ISHM Systems.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Automated AI Planning and Code Pattern Based Code Synthesis.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

A Unified Framework for Defect Data Analysis Using the MBR Technique.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

A Visualization Model for Web Sitemaps.
Proceedings of the Third International Conference on Computer Graphics, 2006

2005
Update Propagation Algorithms for Supporting Disconnected Write in Mobile Wireless Systems with Data Broadcasting Capability.
Wireless Personal Communications, 2005

Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance.
IEEE Trans. Software Eng., 2005

A Distributed Admission Control Model for QoS Assurance in Large-Scale Media Delivery Systems.
IEEE Trans. Parallel Distrib. Syst., 2005

Adaptive QoS Control Based on Benefit Optimization for Video Servers Providing Differentiated Services.
Multimedia Tools Appl., 2005

A study of the model and algorithms for handling location-dependent continuous queries.
Knowl. Inf. Syst., 2005

M3-Update: A New Update Model for E-Commerce and Web-Based Applications.
I. J. Comput. Appl., 2005

Empirical Assessment of Machine Learning based Software Defect Prediction Techniques.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Toward QoS analysis of adaptive service-oriented architecture.
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Meta Code Pattern and Its Refinement.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

A Formal Foundation of Code Pattern Based Development.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Toward a UML Profile to Support Component-Based Distributed Adaptive Systems.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

An Object-Oriented Modeling Learning Support System With Inspection Comments.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

A Model and Methodology for Composition QoS Analysis of Embedded Systems.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Rule-Base Technique for Component Adaptation to Support QoS-based Reconfiguration.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

An Approach for Designing Highly Adaptable Process-Control Systems.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

On the Optimal Placement of Secure Data Objects over Internet.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

A Framework to Support Survivable Web Services.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

An Adaptive Multiparty Protocol for Secure Data Protection.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

2004
Replicated Object Management with Periodic Maintenance in Mobile Wireless Systems.
Wireless Personal Communications, 2004

Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks.
IEEE Trans. Software Eng., 2004

A Systematic Design Method For High Quality Process-Control Systems Development.
International Journal of Software Engineering and Knowledge Engineering, 2004

A dynamically growing self-organizing tree (DGSOT) for hierarchical clustering gene expression profiles.
Bioinformatics, 2004

A Neural Network Based Approach for Overlay Multicast in Media Streaming Systems.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Transaction Based Dynamic Partial Replication in Mobile Environments.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Survivable Systems Based on an Adaptive NMR Algorithm.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Automated Test Data Generation Using MEA-Graph Planning.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Proxy assistant for streaming media delivery.
Proceedings of the 2004 IEEE International Conference on Multimedia and Expo, 2004

A Rule-Based Component Customization Technique for QoS Properties.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

Multiparty Computation with Full Computation Power and Reduced Overhead.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003
Automated Software Design of Process-Control Systems.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Relational Program Architecture for High Quality Software Development.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

High-Assurance Synthesis of Security Services from Basic Microservices.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

M3TAgent : A Transaction Processing System for B2C E-Commerce.
Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003

An aggressive distributed admission control policy for streaming media.
Proceedings of the 12th International Conference on Computer Communications and Networks, 2003

A distributed admission control model for large-scale continuous media services.
Proceedings of the Global Telecommunications Conference, 2003

Code Parameterization for Satisfaction of QoS Requirements in Embedded Software.
Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, June 23, 2003

PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002
Algorithms for Supporting Disconnected Write Operations for Wireless Web Access in Mobile Client-Server Environments.
IEEE Trans. Mob. Comput., 2002

QoS Control Algorithms Based on Benefit Optimization for Video Servers Providing Differentiated Services.
Proceedings of the 6th Joint Conference on Information Science, 2002

Reliability Assessment of Framework-Based Distributed Embedded Software Systems.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

A Component-Based Approach for Embedded Software Development.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

An Architecture-Based Comparison of Verification and Statistical Reliability Assessment Methods for Embedded Software Systems.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Application of AI Planning Techniques to Automated Code Synthesis and Testing.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Software Measurement Data Analysis Using Memory-Based Reasoning.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

2001
Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems.
IEEE Trans. Software Eng., 2001

Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Analysis of Algorithms for Supporting Disconnected Write Operations in Mobile Client-Server Environments.
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

An On-Line Repository for Embedded Software.
Proceedings of the 13th IEEE International Conference on Tools with Artificial Intelligence, 2001

TCP Glow Performance Guarantee in DiffServ Networks.
Proceedings of the International Conference on Internet Computing, 2001

Highly Reliable Relational Control Programs for Robust Rapid Transit Systems.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

A Memory-Based Reasoning Approach for Assessing Software Quality.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Multi-Criteria Transaction for E-Commerce Applications.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000
A high-assurance measurement repository system.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

Defect-Based Reliability Analysis for Mission-Critical Software.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999
The Design and Implementation of a Customizable Fault Tolerance Framework.
International Journal of Software Engineering and Knowledge Engineering, 1999

A 2-phase N-modular redundancy algorithm.
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998
Key Applications for High-Assurance Systems.
IEEE Computer, 1998

Toward Integrated Methods for High-Assurance Systems (Guest Editors' Introduction).
IEEE Computer, 1998

Implementation of a Customizable Fault Tolerance Framework.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

1997
An object-oriented fault-tolerance framework based on specialization techniques.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Implementation and performance assessment of multilevel data structures.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
A Highly Safe Self-Stabilizing Mutual Exclusion Algorithm.
Inf. Process. Lett., 1996

Specialized N-Modular Redundant Processors in Large-Scale Distributed Systems.
Proceedings of the 15th Symposium on Reliable Distributed Systems, 1996

Computer security: the good, the bad and the ugly.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

1995
Parallel Hashing: Collision Resolution Strategies and Performance.
J. Parallel Distrib. Comput., 1995

Analysis of Probabilistic Error Checking Procedures on Storage Systems.
Comput. J., 1995

On efficiently tolerating general failures in autonomous decentralized multiserver systems.
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Robust parallel resource management in shared memory multiprocessor systems.
Proceedings of IPPS '95, 1995

Guiding processor allocation with estimated execution time for mesh connected multiple processor systems.
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Quality Assessment for Multiple Server Cooperating Systems.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994
On the reliability of dependable soft real-time cooperating systems.
Proceedings of WORDS '94. The First Workshop on Object-Oriented Real-Time Dependable Systems, 1994

Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs.
Proceedings of the Digest of Papers: FTCS/24, 1994

1993
Exploiting redundancy to speed up parallel systems.
IEEE P&DT, 1993

Inherent fault tolerance in decentralized process-control systems.
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel Architectures.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

1992
Hash Table in Massively Parallel Systems.
Proceedings of the 6th International Parallel Processing Symposium, 1992

Fault tolerant process planning and control.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991
An Inherently Fault Tolerant Sorting Algorithm.
Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991

Massively parallel hash algorithms and performance.
Proceedings of the 19th annual conference on Computer Science, 1991

1990
High performance massively parallel abstract data type components.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1988
Multilevel Data Structures: Models and Performance.
IEEE Trans. Software Eng., 1988

A Class of Inherently Fault Tolerant Distributed Programs.
IEEE Trans. Software Eng., 1988

Concurrent Maintenance of Data Structures in a Distributed Environment.
Comput. J., 1988

1987
A Fault Tolerant Replicated Storage System.
Proceedings of the Third International Conference on Data Engineering, 1987


  Loading...