Wei-Tek Tsai

According to our database1, Wei-Tek Tsai authored at least 361 papers between 1982 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Test Case Generation for Boolean Expressions by Cell Covering.
IEEE Trans. Software Eng., 2018

Test-Algebra-Based Fault Location Analysis for the Concurrent Combinatorial Testing.
IEEE Trans. Reliability, 2018

Lessons Learned from Developing Permissioned Blockchains.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Application of Blockchain to Trade Clearing.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017
Combinatorial Testing in Cloud Computing
Springer Briefs in Computer Science, Springer, ISBN: 978-981-10-4480-9, 2017

A cloud-based triage log analysis and recovery framework.
Simulation Modelling Practice and Theory, 2017

Personalized gesture interactions for cyber-physical smart-home environments.
SCIENCE CHINA Information Sciences, 2017

Smart-Contract Execution with Concurrent Block Building.
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

Modeling Context-aware Legal Computing with Bigraphs.
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

Intellectual-Property Blockchain-Based Protection Model for Microfilms.
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

Design Issues in Permissioned Blockchains for Trusted Computing.
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017

2016
Testing Context-Aware Applications Based on Bigraphical Modeling.
IEEE Trans. Reliability, 2016

Integrated fault detection and test algebra for combinatorial testing in TaaS (Testing-as-a-Service).
Simulation Modelling Practice and Theory, 2016

Multi-tenant Verification-as-a-Service (VaaS) in a cloud.
Simulation Modelling Practice and Theory, 2016

Autonomous Decentralized Authorization and Authentication Management for Hierarchical Multi-Tenancy.
IEICE Transactions, 2016

LTBD: A Triage Framework.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

A System View of Financial Blockchains.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Software Crowdsourcing Practices and Research Directions.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW).
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Interactive Incontestable Signature for Transactions Confirmation in Bitcoin Blockchain.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Fault-Diagnosis for Reciprocating Compressors Using Big Data.
Proceedings of the Second IEEE International Conference on Big Data Computing Service and Applications, 2016

2015
Simulation of real-time systems with clock calculus.
Simulation Modelling Practice and Theory, 2015

Exploring AADL verification tool through model transformation.
Journal of Systems Architecture - Embedded Systems Design, 2015

A Collaborative Approach for Minimal-Cost Monitor Deployment in Cloud Environment.
International Journal of Software Engineering and Knowledge Engineering, 2015

Integrated Adaptive Reasoning Testing Framework with Automated Fault Detection.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

An Evaluation Framework for Extreme Learning Process (XLP).
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

Autonomous Decentralized Tenant Access Control Model for Sub-tenancy Architecture in Software-as-a-Service (SaaS).
Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015

Autonomous Decentralized Combinatorial Testing.
Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015

Web-Based Performance Monitor for Distributed Computing.
Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015

Multi-factor web API security for securing Mobile Cloud.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

Message from the IWSC 2015 Workshop Organizers.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014
Cloud-Based Virtual Laboratory for Network Security Education.
IEEE Trans. Education, 2014

Dependence-Guided Service Composition for User-Centric SOA.
IEEE Systems Journal, 2014

Corrigendum to "A novel approach to collaborative testing in a crowdsourcing environment" in the Journal of Systems and Software 86 (2013) 2143-2153.
Journal of Systems and Software, 2014

Cloud-Based Software Crowdsourcing.
IEEE Internet Computing, 2014

Mobile Application Testing: A Tutorial.
IEEE Computer, 2014

Software-as-a-service (SaaS): perspectives and challenges.
SCIENCE CHINA Information Sciences, 2014

Generating Test Cases for Context-Aware Applications Using Bigraphs.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

TaaS (Testing-as-a-Service) Design for Combinatorial Testing.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

HLA-Based SaaS-Oriented Simulation Frameworks.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Multi-tenancy and Sub-tenancy Architecture in Software-as-a-Service (SaaS).
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

A Cloud-Based Platform for Crowdsourcing and Self-Organizing Learning.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Concurrent Test Algebra Execution with Combinatorial Testing.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Understanding Requirements Driven Architecture Evolution in Social Networking SaaS: An Industrial Case Study.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Test-Algebra Execution in a Cloud Environment.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Success factors in mobile social networking application development: case study of instagram.
Proceedings of the Symposium on Applied Computing, 2014

Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory.
Proceedings of the 2nd IEEE International Conference on Mobile Cloud Computing, 2014

Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013
Ontology patterns for service-oriented software development.
Softw., Pract. Exper., 2013

Simulation of power consumption of cloud data centers.
Simulation Modelling Practice and Theory, 2013

Scalable SaaS Indexing Algorithms with Automated Redundancy and Recovery Management.
Int. J. Software and Informatics, 2013

Creative software crowdsourcing: from components and algorithm development to project concept formations.
IJCrC, 2013

An evaluation framework for software crowdsourcing.
Frontiers Comput. Sci., 2013

Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362).
Dagstuhl Reports, 2013

Secure Web Referral Services for Mobile Cloud Computing.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

SaaS Multi-tenant Application Customization.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Mobile Cloud Computing Research - Issues, Challenges and Needs.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

SaaS Testing on Clouds - Issues, Challenges and Needs.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Testing as a Service (TaaS) on Clouds.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Choosing cost-effective configuration in cloud storage.
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

Test algebra for combinatorial testing.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Vee@Cloud: The virtual test lab on the cloud.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Adaptive Fault Detection for Testing Tenant Applications in Multi-tenancy SaaS Systems.
Proceedings of the 2013 IEEE International Conference on Cloud Engineering, 2013

Energy Saving in Mobile Cloud Computing.
Proceedings of the 2013 IEEE International Conference on Cloud Engineering, 2013

2012
Service-oriented smart home applications: composition, code generation, deployment, and execution.
Service Oriented Computing and Applications, 2012

V-Lab: A Mobile, Cloud-Based Virtual Laboratory Platform for Hands-On Networking Courses.
IJCBPL, 2012

V-lab: a cloud-based virtual laboratory platform for hands-on networking courses.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Scalable Architectures for SaaS.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

A Cost-Effective Intelligent Configuration Model in Cloud Computing.
Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

Model-driven tenant development for PaaS-based SaaS.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

Integrating HLA and Service-Oriented Architecture in a Simulation Framework.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

Gesture Profile for Web Services: An Event-Driven Architecture to Support Gestural Interfaces for Smart Environments.
Proceedings of the Ambient Intelligence - Third International Joint Conference, 2012

Gesture ontology for informing Service-oriented Architecture.
Proceedings of the 2012 IEEE International Symposium on Intelligent Control, 2012

DICB: Dynamic Intelligent Customizable Benign Pricing Strategy for Cloud Computing.
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

Introduction to Programming Languages - Programming in C, C++, Scheme, Prolog, C#, and SOA (3. ed.).
Kendall / Hunt Publ., ISBN: 978-1-4652-0559-9, 2012

2011
Collaborative Learning Using Wiki Web Sites for Computer Science Undergraduate Education: A Case Study.
IEEE Trans. Education, 2011

Policy Management for Secure Data Access Control in Vehicular Networks.
J. Network Syst. Manage., 2011

A design of policy-based composite web services QoS monitoring system.
IJCCBS, 2011

P4-simsaas: policy specification for Multi-Tendency simulation software-as-a-service model.
Proceedings of the Winter Simulation Conference 2011, 2011

SimSaaS: simulation software-as-a-service.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011

SaaS performance and scalability evaluation in clouds.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Service-orientation in computing curriculum.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Cloud testing tools.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Services utility prediction on a cloud.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

EasySaaS: A SaaS development framework.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Testing the scalability of SaaS applications.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Service Replication Strategies with MapReduce in Clouds.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

An Approach for Service Composition and Testing for Cloud Computing.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Role-Based Access-Control Using Reference Ontology in Clouds.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Service-Oriented Computing and Web Software Integration - From Principles to Development (3. ed., rev. pr.).
Kendall / Hunt Publ., ISBN: 978-1-4652-2561-0, 2011

2010
Modeling enterprise service-oriented architectural styles.
Service Oriented Computing and Applications, 2010

Data Partitioning and Redundancy Management for Robust Multi-Tenancy SaaS.
Int. J. Software and Informatics, 2010

Event-driven service-oriented simulation framework.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Testing as a Service over Cloud.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Flexible-Matching Data-Comparison Tool with the Cloud Applications.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

A Classification of Enterprise Service-Oriented Architecture.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

OIC: Ontology-based intelligent customization framework for SaaS.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2010

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

Ontology-Based Dependency-Guided Service Composition for User-Centric SOA.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Service-Oriented Cloud Computing Architecture.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Towards a scalable and robust multi-tenancy SaaS.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Prioritizing Service Requests on Cloud with Multi-tenancy.
Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010

Two-Tier Multi-tenancy Scaling and Load Balancing.
Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010

Time-Constrained Test Selection for Regression Testing.
Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010

Predicting Defect Priority Based on Neural Networks.
Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010

2009
Towards dependable service-orientated computing systems.
Simulation Modelling Practice and Theory, 2009

Internetware Computing: Issues and Perspective.
Int. J. Software and Informatics, 2009

Ontology-Based Service Composition Framework for Syndicating Building Intelligence.
Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009

Timing specification and analysis for service-oriented simulation.
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

Role-based trust model for community of interest.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

A code generation and execution environment for service-oriented smart home solutions.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Model-Based Monitoring and Policy Enforcement of Services.
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

An Adaptive Management Framework for Service Brokers in Service-oriented Architecture.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Towards Selecting Test Data Using Topological Structure of Boolean Expressions.
Proceedings of the Ninth International Conference on Quality Software, 2009

Internetware computing: issues and perspective.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Ontology-Based Smart Home Solution and Service Composition.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Dependency-Guided Service Composition for User-Centric SOA.
Proceedings of the 2009 IEEE International Conference on e-Business Engineering, 2009

Design of a Contract-Based Web Services QoS Management System.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009

Ontology-based Information Sharing in Service-Oriented Database Systems.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008
An ontology-based collaborative service-oriented simulation framework with Microsoft Robotics Studio®.
Simulation Modelling Practice and Theory, 2008

An Introductory Course on Service-Oriented Computing for High Schools.
JITE, 2008

A policy enforcement framework for verification and control of service collaboration.
Inf. Syst. E-Business Management, 2008

On Testing and Evaluating Service-Oriented Software.
IEEE Computer, 2008

Composing Highly Reliable Service-Oriented Applications Adaptively.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

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

Teaching Service-Oriented Computing and STEM Topics via Robotic Games.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Ontology-Based Test Modeling and Partition Testing of Web Services.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Service-Oriented User Interface Modeling and Composition.
Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

Developing a Security Robot in Service-Oriented Architecture.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

Dynamic Assessment and Customizable e-Learning Content Generator.
Proceedings of the 2008 International Conference on E-Learning, 2008

Collaborative Web Services Monitoring with Active Service Broker.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

SOA Simulation and Verification by Event-Driven Policy Enforcement.
Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio®.
Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

2007
Service-oriented system engineering (SOSE) and its applications to embedded system development.
Service Oriented Computing and Applications, 2007

Data provenance in SOA: security, reliability, and integrity.
Service Oriented Computing and Applications, 2007

Modeling and Simulation in Service-Oriented Software Development.
Simulation, 2007

Dynamic Architectures for SOA-Based Applications.
Transactions of the SDPS, 2007

Building trustworthy applications on a Service-Oriented Computing paradigm.
IJSPM, 2007

Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Service Oriented Computing: Technology Trends and Research Directions.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

A New SOA Data-Provenance Framework.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Collaboration Policy Generation in Dynamic Collaborative SOA.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Roadmap to a Full Service Broker in Service-Oriented Architecture.
Proceedings of ICEBE 2007, 2007

Requirement Engineering in Service-Oriented System Engineering.
Proceedings of ICEBE 2007, 2007

Designing a Service-Oriented Computing Course for High Schools.
Proceedings of ICEBE 2007, 2007

A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Process Specification and Modeling Language for Service-Oriented Software Development.
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

A Machine Learning-Based Reliability Assessment Model for Critical Software Systems.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A Framework for Contract-Based Collaborative Verification and Validation of Web Services.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm.
Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007

2006
Simulation Verification and Validation by Dynamic Policy Specification and Enforcement.
Simulation, 2006

A service-oriented modeling and simulation framework for rapid development of distributed applications.
Simulation Modelling Practice and Theory, 2006

Binary analysis and automated hot patching for Web-based applications.
Information & Software Technology, 2006

Collaborative software design in an SOA environment.
Science in China Series F: Information Sciences, 2006

Global Software Enterprise: A New Software Constructing Architecture.
Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006

Perspectives on Service-Oriented Computing and Service-Oriented System Engineering.
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

RTSOA: Real-Time Service-Oriented Architecture.
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

Consumer-centric service-oriented architecture: a new approach.
Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, 2006

A multi-agent based framework for collaborative testing on Web services.
Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, 2006

Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Architecture Classification for SOA-Based Applications.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration.
Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

SOA Collaboration Modeling, Analysis, and Simulation in PSML-C.
Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

UCSOA: User-Centric Service-Oriented Architecture.
Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

Testability of Software in Service-Oriented Architecture.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1.
Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

2005
Rapid Embedded System Testing Using Verification Patterns.
IEEE Software, 2005

Scheduling Simulation in a Distributed Wireless Embedded System.
Simulation, 2005

Ontology and Service Oriented Programming.
Int. J. Web Service Res., 2005

Swiss Cheese Test Case Generation for Web Services Testing.
IEICE Transactions, 2005

Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Towards Self-Healing Systems via Dependable Architecture and.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Progressive Ranking and Composition of Web Services Using Covering Arrays.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

A robust testing framework for verifying Web services by completeness and consistency analysis.
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Web service group testing with windowing mechanisms.
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Service-oriented system engineering: a new paradigm.
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 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

WSDL-based automatic test case generation for Web services testing.
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005

Stochastic Voting Algorithms for Web Services Group Testing.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Dynamic System Reconfiguration Via Service Composition for Dependable Computing.
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Automated Model Checking and Testing for Composite Web Services.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Proof Slicing with Application to Model Checking Web Services.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Developing and assuring trustworthy Web services.
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

Web services-based collaborative and cooperative computing.
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

Distributed Policy Specification and Enforcement in Service-Oriented Business Systems.
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing.
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Autonomous Hot Patching for Web-Based Applications.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Simulation Verification and Validation by Dynamic Policy Enforcement.
Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005

2004
Building e-commerce systems using semantic application framework.
Int. J. Web Eng. Technol., 2004

A software reliability model for web services.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Cooperative and Group Testing in Verification of Dynamic Composite Web Services.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Testing Web Services Using Progressive Group Testing.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

2003
Verification of Web Services Using an Enhanced UDDI Server.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Scenario-Based System Generation for Process Control.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Scenario-based Object-Oriented Testing Framework.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Scenario-based test case generation for state-based embedded systems.
Proceedings of the 22nd IEEE International Performance Computing and Communications Conference, 2003

A Semantic Framework for Distributed Applications.
Proceedings of the ICEIS 2003, 2003

Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Verification Patterns for Rapid Embedded System Verification.
Proceedings of the International Conference on Embedded Systems and Applications, 2003

Rapid Verification of Embedded Systems Using Patterns.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002
Scenario-Based Modeling And Its Applications.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

OCL Goes Real-Time (Panel).
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

3 Tier Transparent Web Application Developing Approach.
Proceedings of the International Conference on Internet Computing, 2002

Extending WSDL to Facilitate Web Services Testing.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Coyote: An XML-Based Framework for Web Services Testing.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Hypothesis Testing for Module Test in Software Development.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Combining Hierarchical Filtering, Fuzzy Logic, and Simulation with Software Agents for IP (Intellectual Property) Selection in Electronic Design.
International Journal on Artificial Intelligence Tools, 2001

XML-based E2E Test Report Management.
Proceedings of the Conceptual Modeling, 2001

Distributed End-to-End Testing Management.
Proceedings of the 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 2001

End-To-End Integration Testing Design.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

End-to-End Integration Testing.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Scenario-Based Functional Regression Testing.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000
The five-module framework for Internet application development.
ACM Comput. Surv., 2000

An Approach to Modify and Test Expired Window Logic.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999
Verification and Validation of Knowledge-Based Systems.
IEEE Trans. Knowl. Data Eng., 1999

VSAM conversion for COBOL programs.
Journal of Software Maintenance, 1999

Assurance-Based Y2K Testing.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

Specifying Constraints with Message Sequence Specifications.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998
Business rule extraction techniques for COBOL programs.
Journal of Software Maintenance, 1998

Sequence Specification for Concurrent Object-Oriented Applications.
International Journal of Software Engineering and Knowledge Engineering, 1998

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

Regression Testing in an Industrial Environment.
Commun. ACM, 1998

Re-Engineering Legacy Cobol Programs.
Commun. ACM, 1998

Automating Regression Testing for Real-Time Software in a Distributed Environment.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

An agent architecture for supporting individualized services in Internet applications.
Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998

Design for Constraint Violation Detection in Safety-Critical Systems.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

Framework-Oriented Analysis.
Proceedings of the COMPSAC '98, 1998

Static identifying of synchronization faults in dynamic-multithreaded applications.
Proceedings of the Computers and Their Applications (CATA-98), 1998

1997
Interview with Takashi Sano.
Journal of Software Maintenance, 1997

Sequence specification for concurrent object-oriented applications.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

A Framework for Developing Web-Based Educational Applications: Using a Relational Database to Connect the Design of Authoring and Navigational Tools.
Proceedings of WebNet 97, 1997

ScmEngine: A Distributed Software Management Environment on X.500.
Proceedings of the System Configuration Management, 1997

Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

Application of data-centered approach to Year 2000 problem.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Trends in software technology.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Software Engineering Practices and Tools for Real-Time Systems (Part II): Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering, 1996

Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering, 1996

An Object-Based Environment (Opusdei) for Software Development and Maintenance.
International Journal on Artificial Intelligence Tools, 1996

Advances in Software Engineering.
IEEE Computer, 1996

Transition To Object-Oriented Software Development.
Commun. ACM, 1996

The Role of Program Slicing in Ripple Effect Analysis.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Generalized Program Slicing for Software Maintenance.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Omega - an integrated environment for C++ program maintenance.
Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

Specifying timing constraints in real-time object-oriented systems.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Flow analysis for concurrent, reactive, real-time systems.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

A multiversion transaction scheduler for centralized multilevel secure database systems.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Opusdei-Integrated Environment for Software Development and Maintenance.
Proceedings of the COMPSAC '96, 1996

Business Rule Extraction from Legacy Code.
Proceedings of the COMPSAC '96, 1996

Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application].
Proceedings of the Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), 1996

Fault mitigation in safety-critical software systems.
Proceedings of the Ninth IEEE Symposium on Computer-Based Medical Systems (CBMS '96), 1996

1995
Software maintenance - an industrial experience.
Journal of Software Maintenance, 1995

Quadtree Layouts and I/O Bandwidth.
Parallel Processing Letters, 1995

Covert Channel Secure Hypercube Message Communication.
J. Parallel Distrib. Comput., 1995

Object-Oriented Experiences: Introduction to the Special Section.
Commun. ACM, 1995

AURA-CFG/E: An Object-Oriented approach for Acquisition and Decomposition of DFDs from End users.
Proceedings of the SEKE'95, 1995

A Framework for Designing Safe Software Systems.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994
Processor preallocation and load balancing of DOALL loops.
The Journal of Supercomputing, 1994

Retrofitting Software Safety in an Implantable Medical Device.
IEEE Software, 1994

Adapting an Object-Oriented Development Method.
IEEE Software, 1994

Object-oriented real-time systems analysis and design issues.
OOPS Messenger, 1994

Object-oriented real-time system analysis and design issues.
OOPS Messenger, 1994

Fault-Tolerant Multicasting on Hypercubes.
J. Parallel Distrib. Comput., 1994

Multicasting in Generalized Multistage Interconnection Networks.
J. Parallel Distrib. Comput., 1994

Hierarchical Data Flow Analysis for O-O Programs.
JOOP, 1994

Method Sequence Specification and Verification of Classes.
JOOP, 1994

Recursive Binary Tree Layout Mixing.
Inf. Sci., 1994

Evaluation of Expert System Testing Methods.
Commun. ACM, 1994

System bounding issues for analysis.
Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

A process for software requirements safety analysis.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Lookahead Processor Allocation in Mesh-Connected Massively Parallel Multicomputer.
Proceedings of the 8th International Symposium on Parallel Processing, 1994

Data-Centered Program Understanding.
Proceedings of the International Conference on Software Maintenance, 1994

Automatic variable classification for COBOL programs.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

A process for developing safe software.
Proceedings of the Seventh Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'94), 1994

1993
Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems.
IEEE Trans. Parallel Distrib. Syst., 1993

Database Concurrency Control in Multilevel Secure Database Management Systems.
IEEE Trans. Knowl. Data Eng., 1993

Distributed, Collaborative Software Inspection.
IEEE Software, 1993

A reverse engineering model for C programs.
Inf. Sci., 1993

Database requirements for a software engineering environment: criteria and empirical evaluation.
Information & Software Technology, 1993

Object-Oriented Analysis: Criteria and Case Study.
International Journal of Software Engineering and Knowledge Engineering, 1993

A Transaction Model for Parallel Production Systems Part II: Model and Evaluation.
International Journal on Artificial Intelligence Tools, 1993

Pragmatic Testing Methods for Expert Systems.
International Journal on Artificial Intelligence Tools, 1993

A Transaction Model for Parallel Rule Execution Part I: Model and Algorithms.
International Journal on Artificial Intelligence Tools, 1993

Guest Editor's Introduction.
IEEE Expert, 1993

A Framework for Systematic Testing of Software Specifications.
Proceedings of the SEKE'93, 1993

Load Balancing of DOALL Loops in the Perfect Club.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

Quality of Heuristic Programs (Panel).
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

Approach and Case Study of Requirement Analysis Where End Users Take an Active Role.
Proceedings of the 15th International Conference on Software Engineering, 1993

Object prototyping: Concept and specification language.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks.
IEEE Trans. Parallel Distrib. Syst., 1992

An Experimental Study of Fault Detection In User Requirements Documents.
ACM Trans. Softw. Eng. Methodol., 1992

Simulation and theoretical results on cluster management and directory management in dynamic hierarchical networks.
IEEE Trans. Communications, 1992

On the reconfigurability of embedded loops on hypercubes and its application.
Inf. Sci., 1992

Object-Oriented Analysis as Design: a Case Study.
International Journal of Software Engineering and Knowledge Engineering, 1992

Samea: Object-Oriented Software Maintenance Environment for Assembly Programs.
International Journal of Software Engineering and Knowledge Engineering, 1992

Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert's Object-Oriented Software Development Method.
TRI-Ada, 1992

Knowledge Acquisition and Process Acquisition.
Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992

Comparative Evaluation of Expert System Testing Methods.
Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992

Array Covering: A Technique4 for Enabling Lloop Parallelization.
Proceedings of the 1992 International Conference on Parallel Processing, 1992

Quadtree interconnection network layout.
Proceedings of the Second Great Lakes Symposium on VLSI, 1992

Testing expert systems using conventional techniques.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991
Effective neural algorithms for the traveling salesman problem.
Neural Networks, 1991

Distributed fault-tolerant routing on hypercubes algorithms and performance study.
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991


Inverted Memory.
Proceedings of the International Conference on Parallel Processing, 1991

Area efficient binary tree layout.
Proceedings of the First Great Lakes Symposium on VLSI, 1991

Uni-directional cube-connected cycles.
Proceedings of the First Great Lakes Symposium on VLSI, 1991

I/O bound binary tree layout.
Proceedings of the First Great Lakes Symposium on VLSI, 1991

Conditional transactions: a model of computation for active databases.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990
Automated Test Case Generation for Programs Specified by Relational Algebra Queries.
IEEE Trans. Software Eng., 1990

The Evolution Support Environment System.
IEEE Trans. Software Eng., 1990

A model for assembly program maintenance.
Journal of Software Maintenance, 1990

Constructing associative memories using neural networks.
Neural Networks, 1990

N-Fold Inspection: A Requirements Analysis Technique.
Commun. ACM, 1990

Multi-failure fault-tolerance of embedded loops on hypercubes: issues and performance study.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Multiversion Concurrency Control for Multilevel Secure Database Systems.
Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990

What Software Engineering Can Learn From Practitioners.
Proceedings of the SEKE'90, 1990

Towards a Unified Framework for Testing Expert Systems.
Proceedings of the SEKE'90, 1990

Software representation to support change.
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Production Scheduling in Database Production Systems.
Proceedings of the First International Conference on Systems Integration, 1990

Performance Evaluation of Distributed Real Time Scheduling Algorithms.
Proceedings of the First International Conference on Systems Integration, 1990

A Synthesis Approach to Developing Large Petri Nets.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

Multilevel Secure Database Concurrency Control.
Proceedings of the Sixth International Conference on Data Engineering, 1990

1989
Recovery Point Selection on a Reverse Binary Tree Task Model.
IEEE Trans. Software Eng., 1989

An Adaptive Hierarchical Routing Protocol.
IEEE Trans. Computers, 1989

Secure Query-Processing Strategies.
IEEE Computer, 1989

Prototyping to explore MLS/DBMS design.
Computers & Security, 1989

SODA: A secure object-oriented database system.
Computers & Security, 1989

A Low Overhead Checkpointing and Rollback Recovery Scheme for Distributed Systems.
Proceedings of the Eigthth Symposium on Reliable Distributed Systems, 1989

Towards a framework for normative software engineering research.
Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

A parallel architecture for large scale production systems.
Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

Embedding of Linear Array and Binary Tree in Cubical Ring Connected Cycles Networks.
Proceedings of the International Conference on Parallel Processing, 1989

Prototyping the SODA Model.
Proceedings of the Database Security, 1989

An object-oriented maintenance-oriented model for software.
Proceedings of the Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage, 1989

Multi-party conflict: the problem and its solutions.
Proceedings of the Fifth Annual Computer Security Applications Conference, 1989

Security model consistency in secure object-oriented systems.
Proceedings of the Fifth Annual Computer Security Applications Conference, 1989

1988
A generalized neural network model.
Neural Networks, 1988

Information capacity of McCulloch Pitts' model.
Neural Networks, 1988

A case study of solving optimization problems using neural networks.
Neural Networks, 1988

Panel: Object-Oriented Knowledge-Based Software Maintenance.
Proceedings of the Conference on Object-Oriented Programming Systems, 1988

Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms.
Proceedings of the International Conference on Parallel Processing, 1988

Are knowledge representations the answer to requirement analysis?
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

An efficient multi-dimensional grids reconfiguration algorithm on hypercube.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

Prototyping as a Research Tool for MLS/DBMS.
Proceedings of the Database Security, 1988

Extensions on performance evaluation techniques for concurrent systems.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Expert systems for software engineering?
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Object-oriented paradigm and software engineering.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Expert systems and software engineering.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Automatic test case generation from relational algebra queries.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Synthesis rules for cyclic interactions among processes in concurrent systems.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Asynchronous recovery protocols for distributed systems.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1986
Expert Systems and Software Enginnering: Ready for Marriage?
IEEE Expert, 1986

A Distributed Clustering Algorithm for Large Computer Networks.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1984
Software Engineering: Problems and Perspectives.
IEEE Computer, 1984

1982
The Design of "Low-End" Machines for Data Management in Distributed Systems.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

Techniques in Software Quality Assurance.
Proceedings of the Software-Qualitätssicherung, 1982


  Loading...