Wei‐tek Tsai
#141,618
Most Influential Person Now
Wei‐tek Tsai's AcademicInfluence.com Rankings
Wei‐tek Tsaicomputer-science Degrees
Computer Science
#6825
World Rank
#7191
Historical Rank
Cloud Computing
#29
World Rank
#29
Historical Rank
Database
#3905
World Rank
#4063
Historical Rank
Download Badge
Computer Science
Wei‐tek Tsai's Degrees
- Bachelors Computer Science National Taiwan University
Similar Degrees You Can Earn
Why Is Wei‐tek Tsai Influential?
(Suggest an Edit or Addition)Wei‐tek Tsai's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Service-Oriented Cloud Computing Architecture (2010) (440)
- Regression testing in an industrial environment (1998) (260)
- WSDL-based automatic test case generation for Web services testing (2005) (228)
- Software Engineering: Problems and Perspectives (1984) (201)
- Service-oriented system engineering: a new paradigm (2005) (199)
- Cloud Testing- Issues, Challenges, Needs and Practice (2011) (178)
- Extending WSDL to facilitate Web services testing (2002) (154)
- An experimental study of fault detection in user requirements documents (1992) (139)
- Testing as a Service over Cloud (2010) (130)
- Mobile Application Testing: A Tutorial (2014) (126)
- N-Fold inspection: a requirements analysis technique (1990) (125)
- Automated model checking and testing for composite Web services (2005) (119)
- Cloud-Based Virtual Laboratory for Network Security Education (2014) (115)
- Cloud testing tools (2011) (107)
- Verification of Web services using an enhanced UDDI server (2003) (107)
- Transition to object-oriented software development (1996) (106)
- A software reliability model for web services (2004) (103)
- Coyote: an XML-based framework for Web services testing (2002) (101)
- Distributed, collaborative software inspection (1993) (99)
- A System View of Financial Blockchains (2016) (94)
- SaaS performance and scalability evaluation in clouds (2011) (92)
- Fault-Diagnosis for Reciprocating Compressors Using Big Data (2016) (89)
- On Testing and Evaluating Service-Oriented Software (2008) (87)
- Collaborative Learning Using Wiki Web Sites for Computer Science Undergraduate Education: A Case Study (2011) (86)
- Business rule extraction from legacy code (1996) (86)
- Software-as-a-service (SaaS): perspectives and challenges (2014) (85)
- Multiversion concurrency control for multilevel secure database systems (1990) (83)
- Consumer-centric service-oriented architecture: a new approach (2006) (81)
- Ontology-Based Test Modeling and Partition Testing of Web Services (2008) (80)
- Mobile Cloud Computing Research - Issues, Challenges and Needs (2013) (70)
- Cooperative and group testing in verification of dynamic composite Web services (2004) (69)
- Scenario-Based Web Services Testing with Distributed Agents (2003) (68)
- Automated Test Case Generation for Programs Specified by Relational Algebra Queries (1990) (67)
- Scenario-based functional regression testing (2001) (67)
- Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks (1992) (66)
- Effective neural algorithms for the traveling salesman problem (1991) (65)
- RTSOA: Real-Time Service-Oriented Architecture (2006) (64)
- Verification and Validation of Knowledge-Based Systems (1999) (64)
- Cloud-Based Software Crowdsourcing (2014) (62)
- An evaluation framework for software crowdsourcing (2013) (61)
- Adaptive testing, oracle generation, and test case ranking for Web services (2005) (61)
- Testing as a Service (TaaS) on Clouds (2013) (60)
- Method Sequence Specification and Verification of Classes (1994) (60)
- End-to-end integration testing design (2001) (59)
- DDSOS: a dynamic distributed service-oriented simulation framework (2006) (59)
- Testing the scalability of SaaS applications (2011) (58)
- Services-oriented dynamic reconfiguration framework for dependable distributed computing (2004) (58)
- Role-Based Access-Control Using Reference Ontology in Clouds (2011) (57)
- Architecture classification for SOA-based applications (2006) (57)
- Secure query-processing strategies (1989) (56)
- SODA: A secure object-oriented database system (1989) (55)
- Rapid embedded system testing using verification patterns (2005) (54)
- Ontology-Based Smart Home Solution and Service Composition (2009) (53)
- Data provenance in SOA: security, reliability, and integrity (2007) (53)
- Developing and assuring trustworthy Web services (2005) (52)
- Requirement Engineering in Service-Oriented System Engineering (2007) (49)
- Data-centered program understanding (1994) (47)
- Specification-based verification and validation of Web services and service-oriented operating systems (2005) (46)
- OIC: Ontology-based intelligent customization framework for SaaS (2010) (46)
- A Framework for Contract-Based Collaborative Verification and Validation of Web Services (2007) (46)
- SaaS Multi-tenant Application Customization (2013) (44)
- Creative software crowdsourcing: from components and algorithm development to project concept formations (2013) (44)
- Scenario-based modeling and its applications (2002) (44)
- A service-oriented modeling and simulation framework for rapid development of distributed applications (2006) (43)
- ADAPTIVE HIERARCHICAL ROUTING ALGORITHM. (1983) (43)
- Predicting Defect Priority Based on Neural Networks (2010) (43)
- Real-Time Service-Oriented Cloud Computing (2010) (42)
- A low overhead checkpointing and rollback recovery scheme for distributed systems (1989) (42)
- Multilevel secure database concurrency control (1990) (42)
- A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation (2012) (42)
- A multi-agent based framework for collaborative testing on Web services (2006) (41)
- An ontology-based collaborative service-oriented simulation framework with Microsoft Robotics Studio® (2008) (41)
- V-lab: a cloud-based virtual laboratory platform for hands-on networking courses (2012) (41)
- Testing Web Services Using Progressive Group Testing (2004) (41)
- An Approach for Service Composition and Testing for Cloud Computing (2011) (41)
- Scenario-based object-oriented testing framework (2003) (40)
- Simulation of power consumption of cloud data centers (2013) (40)
- Scalable Architectures for SaaS (2012) (39)
- Database Concurrency Control in Multilevel Secure Database Management Systems (1993) (39)
- Smart-Contract Execution with Concurrent Block Building (2017) (39)
- METRICS GUIDED METHODOLOGY. (1985) (39)
- Internetware computing: issues and perspective (2009) (38)
- EasySaaS: A SaaS development framework (2011) (38)
- A Privacy-Aware PKI System Based on Permissioned Blockchains (2018) (38)
- Two-Tier Multi-tenancy Scaling and Load Balancing (2010) (38)
- Fault-Tolerant Multicasting on Hypercubes (1994) (37)
- Testing extensible design patterns in object-oriented frameworks through scenario templates (1999) (37)
- Retrofitting software safety in an implantable medical device (1994) (37)
- A robust testing framework for verifying Web services by completeness and consistency analysis (2005) (37)
- Lookahead processor allocation in mesh-connected massively parallel multicomputer (1994) (37)
- Service-oriented system engineering (SOSE) and its applications to embedded system development (2007) (37)
- UCSOA: User-Centric Service-Oriented Architecture (2006) (37)
- SimSaaS: simulation software-as-a-service (2011) (36)
- Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture (2007) (36)
- Energy Saving in Mobile Cloud Computing* (2013) (36)
- Towards a scalable and robust multi-tenancy SaaS (2010) (35)
- Modeling and Simulation in Service-Oriented Software Development (2007) (35)
- Mobile Testing-as-a-Service (MTaaS) -- Infrastructures, Issues, Solutions and Needs (2014) (35)
- Risk-based Testing (2002) (34)
- Service-Oriented User Interface Modeling and Composition (2008) (34)
- Testability of Software in Service-Oriented Architecture (2006) (33)
- A New SOA Data-Provenance Framework (2007) (32)
- Scenario-based object-oriented test frameworks for testing distributed systems (2003) (32)
- Evaluation of expert system testing methods (1994) (31)
- Service Replication Strategies with MapReduce in Clouds (2011) (31)
- DICB: Dynamic Intelligent Customizable Benign Pricing Strategy for Cloud Computing (2012) (31)
- Interactive Incontestable Signature for Transactions Confirmation in Bitcoin Blockchain (2016) (30)
- The Evolution Support Environment System (1990) (30)
- A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software (2007) (29)
- Perspectives on Service-Oriented Computing and Service-Oriented System Engineering (2006) (29)
- Intellectual-Property Blockchain-Based Protection Model for Microfilms (2017) (29)
- Service-oriented smart home applications: composition, code generation, deployment, and execution (2012) (28)
- Omega-an integrated environment for C++ program maintenance (1996) (28)
- Web service group testing with windowing mechanisms (2005) (28)
- A Cost-Effective Intelligent Configuration Model in Cloud Computing (2012) (28)
- Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems (2005) (27)
- Toward QoS analysis of adaptive service-oriented architecture (2005) (27)
- A Video Surveillance System Based on Permissioned Blockchains and Edge Computing (2019) (27)
- Automatic variable classification for COBOL programs (1994) (27)
- Adaptive scenario-based object-oriented test frameworks for testing embedded systems (2002) (26)
- Swiss Cheese Test Case Generation for Web Services Testing (2005) (26)
- Rapid verification of embedded systems using patterns (2003) (26)
- Collaborative Web Services Monitoring with Active Service Broker (2008) (25)
- Test-Algebra Execution in a Cloud Environment (2014) (24)
- A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio® (2008) (24)
- DISTRIBUTED SERVICE-ORIENTED SOFTWARE DEVELOPMENT (2008) (24)
- Service-Oriented Computing and Web Software Integration: From Principles to Development (2011) (24)
- Integrated fault detection and test algebra for combinatorial testing in TaaS (Testing-as-a-Service) (2016) (24)
- Object-oriented experiences (1995) (24)
- Generalized Program Slicing for Software Maintenance (1996) (24)
- Constructing Associative Memories Using Neural Networks (1989) (24)
- Vee@Cloud: The virtual test lab on the cloud (2013) (23)
- Exploring AADL verification tool through model transformation (2015) (23)
- SaaS Testing on Clouds - Issues, Challenges and Needs (2013) (23)
- Design Issues in Permissioned Blockchains for Trusted Computing (2017) (23)
- Modeling enterprise service-oriented architectural styles (2010) (23)
- APPROACH TO MEASURING DATA STRUCTURE COMPLEXITY. (1986) (22)
- Generating Test Cases for Context-Aware Applications Using Bigraphs (2014) (22)
- Scenario-based test case generation for state-based embedded systems (2003) (22)
- Smart Contract-Based Negotiation for Adaptive QoS-Aware Service Composition (2019) (22)
- Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems (1993) (22)
- Approach and case study of requirement analysis where end users take an active role (1993) (22)
- Are knowledge representations the answer to requirement analysis? (1988) (21)
- Test algebra for combinatorial testing (2013) (21)
- An Ontology-Based Integrated Assessment Framework for High-Assurance Systems (2008) (20)
- A process for software requirements safety analysis (1994) (20)
- A model for assembly program maintenance (1990) (19)
- Distributed policy specification and enforcement in service-oriented business systems (2005) (19)
- A tool for discriminant analysis and classification of software metrics (1987) (19)
- Personalized gesture interactions for cyber-physical smart-home environments (2017) (19)
- Voting multi-dimensional data with deviations for Web services under group testing (2005) (19)
- Blockchain-enabled fraud discovery through abnormal smart contract detection on Ethereum (2021) (19)
- The Role of Program Slicing in Ripple Effect Analysis (1996) (19)
- Comparative evaluation of expert system testing methods (1992) (18)
- Adaptive Fault Detection for Testing Tenant Applications in Multi-tenancy SaaS Systems (2013) (18)
- Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration (2006) (18)
- Distributed end-to-end testing management (2001) (18)
- Business rule extraction techniques for COBOL programs (1998) (18)
- Multi-tenancy and Sub-tenancy Architecture in Software-as-a-Service (SaaS) (2014) (18)
- Secure Web Referral Services for Mobile Cloud Computing (2013) (18)
- Data Partitioning and Redundancy Management for Robust Multi-Tenancy SaaS (2010) (18)
- GENESIS: AN INTEGRATED ENVIRONMENT FOR SUPPORTING DEVELOPMENT AND EVOLUTION OF SOFTWARE. (1985) (18)
- Rapid scenario-based simulation and model checking for embedded systems (2003) (17)
- Scalable SaaS Indexing Algorithms with Automated Redundancy and Recovery Management (2013) (17)
- Concurrent Test Algebra Execution with Combinatorial Testing (2014) (17)
- A cloud-based triage log analysis and recovery framework (2017) (17)
- System architecture for high-performance permissioned blockchains (2019) (17)
- Choosing cost-effective configuration in cloud storage (2013) (16)
- Multi-tenant Verification-as-a-Service (VaaS) in a cloud (2016) (16)
- Software maintenance - an industrial experience (1995) (16)
- A requirement verification framework for real-time embedded systems (2002) (16)
- Simulation verification and validation by dynamic policy enforcement (2005) (16)
- Expert Systems and Software Enginnering: Ready for Marriage? (1986) (16)
- An efficient multi-dimensional grids reconfiguration algorithm on hypercube (1988) (16)
- Integrating HLA and Service-Oriented Architecture in a Simulation Framework (2012) (16)
- Towards self-healing systems via dependable architecture and reflective middleware (2005) (15)
- Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory (2014) (15)
- CLUSTERING TECHNIQUES FOR LARGE DISTRIBUTED SYSTEMS. (1986) (15)
- An object-oriented maintenance-oriented model for software (1989) (15)
- A Machine Learning-Based Reliability Assessment Model for Critical Software Systems (2007) (15)
- A policy enforcement framework for verification and control of service collaboration (2008) (15)
- Advances in Software Engineering (1996) (14)
- Key Applications for High-Assurance Systems (1998) (14)
- Roadmap to a Full Service Broker in Service-Oriented Architecture (2007) (14)
- End-to-End Integration Testing (2001) (14)
- SOA Collaboration Modeling, Analysis, and Simulation in PSML-C (2006) (14)
- Assurance-based Y2K testing (1999) (14)
- Experience in capturing requirements for safety-critical medical devices in an industrial environment (1997) (14)
- Software Crowdsourcing Practices and Research Directions (2016) (13)
- Dynamic System Reconfiguration Via Service Composition for Dependable Computing (2005) (13)
- Multi-factor web API security for securing Mobile Cloud (2015) (13)
- P4-SimSaaS: Policy specification for multi-tendency simulation Software-as-a-Service model (2011) (13)
- Process Specification and Modeling Language for Service-Oriented Software Development (2007) (13)
- Towards effective and intelligent multi-tenancy saas (2011) (13)
- TaaS (Testing-as-a-Service) Design for Combinatorial Testing (2014) (13)
- Global Software Enterprise: A New Software Constructing Architecture (2006) (13)
- Web services-based collaborative and cooperative computing (2005) (13)
- Testing Context-Aware Applications Based on Bigraphical Modeling (2016) (13)
- Integration Testing (2002) (13)
- Simulation Verification and Validation by Dynamic Policy Specification and Enforcement (2006) (13)
- An Introductory Course on Service-Oriented Computing for High Schools (2008) (13)
- Application of Blockchain to Trade Clearing (2018) (13)
- Crowdsourcing for Large-Scale Software Development (2015) (13)
- Prioritizing Service Requests on Cloud with Multi-tenancy (2010) (12)
- SOA Simulation and Verification by Event-Driven Policy Enforcement (2008) (12)
- EVALUATION OF SOFTWARE METRICS USING DISCRIMINANT ANALYSIS. (1987) (12)
- Gesture Profile for Web Services: An Event-Driven Architecture to Support Gestural Interfaces for Smart Environments (2012) (12)
- Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture (2006) (12)
- Teaching Service-Oriented Computing and STEM Topics via Robotic Games (2008) (12)
- Semantic Interoperability and Its Verification & Validation in C2 Systems (2005) (11)
- A reverse engineering model for C programs (1993) (11)
- Integrated Adaptive Reasoning Testing Framework with Automated Fault Detection (2015) (11)
- Service-Oriented Architecture for Command and Control Systems with Dynamic Reconfiguration (2004) (11)
- A generalized neural network model (1988) (11)
- Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm (2007) (11)
- Design of a Contract-Based Web Services QoS Management System (2009) (11)
- Ddsos: a dynamic distributed service-oriented modeling and simulation framework (2006) (11)
- A Multi-Chain Model for CBDC (2018) (11)
- Automating regression testing for real-time software in a distributed environment (1998) (11)
- Autonomous Decentralized Combinatorial Testing (2015) (11)
- Hierarchical Data Flow Analysis for O-O Programs (1994) (11)
- Time-Constrained Test Selection for Regression Testing (2010) (11)
- Tenant-centric Sub-Tenancy Architecture in Software-as-a-Service (2016) (11)
- A distributed Collaborative Software Inspection tool - Design, prototype, and early trial (1992) (10)
- Multicasting in Generalized Multistage Interconnection Networks (1994) (10)
- The five-module framework for Internet application development (2000) (10)
- Collaboration Policy Generation in Dynamic Collaborative SOA (2007) (10)
- Towards dependable service-orientated computing systems (2009) (10)
- Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application] (1996) (10)
- Adapting an object-oriented development method (1994) (10)
- Verification Patterns for Rapid Embedded System Verification (2003) (10)
- Dependence-Guided Service Composition for User-Centric SOA (2014) (10)
- Blockchain systems for trade clearing (2017) (9)
- V-Lab: A Mobile, Cloud-Based Virtual Laboratory Platform for Hands-On Networking Courses (2012) (9)
- Software Architecture Design for Spatially-Indexed Media in Smart Environments (2017) (9)
- Designing a Service-Oriented Computing Course for High Schools (2007) (9)
- Backup pattern: designing redundancy in object-oriented software (1996) (9)
- Control and management of large and dynamic networks (1986) (9)
- Secure query processing using AI techniques (1988) (9)
- Re-engineering legacy Cobol programs (1998) (9)
- A process for developing safe software (1994) (9)
- Fault mitigation in safety-critical software systems (1996) (9)
- Lessons Learned from Developing Permissioned Blockchains (2018) (9)
- Model-driven tenant development for PaaS-based SaaS (2012) (9)
- Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms (1988) (9)
- Testing Safety-Critical Systems-A Reuse-Oriented Approach (2005) (9)
- Dependency-Guided Service Composition for User-Centric SOA (2009) (9)
- Synthesis rules for cyclic interactions among processes in concurrent systems (1988) (9)
- A Medical Data Sharing Platform Based On Permissioned Blockchains (2018) (9)
- Specifying timing constraints in real-time object-oriented systems (1996) (9)
- An approach to modify and test expired window logic (2000) (8)
- Progressive ranking and composition of Web services using covering arrays (2005) (8)
- Collaborative software design in an SOA environment (2006) (8)
- Role-based trust model for community of interest (2009) (8)
- Framework-oriented analysis (1998) (8)
- Towards a Unified Framework for Testing Expert Systems (1990) (8)
- Test-Algebra-Based Fault Location Analysis for the Concurrent Combinatorial Testing (2018) (8)
- Scheduling Simulation in a Distributed Wireless Embedded System (2005) (8)
- A framework for designing safe software systems (1995) (8)
- HLA-Based SaaS-Oriented Simulation Frameworks (2014) (8)
- A Framework for Systematic Testing of Software Specifications (1993) (8)
- Hardware-In-the-Loop (HIL) simulation: an application of Colbert's object-oriented software development method (1992) (7)
- Samea: Object-Oriented Software Maintenance Environment for Assembly Programs (1992) (7)
- Crowdsourcing: Cloud-Based Software Development (2015) (7)
- Database requirements for a software engineering environment: criteria and empirical evaluation (1993) (7)
- Pragmatic Testing Methods for Expert Systems (1993) (7)
- Object-Oriented Analysis: Criteria and Case Study (1993) (7)
- Capturing Safety-Critical Medical Requirements (1998) (7)
- Timing specification and analysis for service-oriented simulation (2009) (7)
- Cloud Scalability Measurement and Testing (2012) (7)
- Stochastic voting algorithms for Web services group testing (2005) (7)
- Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362) (2013) (7)
- Multi-party update conflict: The problem and its solutions (1989) (7)
- Invited Paper: Beagle: A New Framework for Smart Contracts Taking Account of Law (2019) (7)
- A Scenario-Based Service-Oriented Rapid Multi-Agent Distributed Modeling and Simulation Framework for SoS/SOA and Its Applications (2005) (7)
- Automated Event Tree Analysis Based-on Scenario Specifications (2003) (7)
- Distributed fault-tolerant routing on hypercubes algorithms and performance study (1991) (7)
- A code generation and execution environment for service-oriented smart home solutions (2009) (7)
- A design of policy-based composite web services QoS monitoring system (2011) (6)
- Developing a Security Robot in Service-Oriented Architecture (2008) (6)
- Introduction to Programming Languages - Programming in C, C++, Scheme, Prolog, C#, and SOA (3. ed.) (2012) (6)
- Recovery Point Selection on a Reverse Binary Tree Task Model (1989) (6)
- Extensions on performance evaluation techniques for concurrent systems (1988) (6)
- Simulation of real-time systems with clock calculus (2015) (6)
- Asynchronous Federated Learning System Based on Permissioned Blockchains (2022) (6)
- Logistics Management System Based on Permissioned Blockchains and RFID Technology (2019) (6)
- Dynamic Architectures for SOA-Based Applications (2007) (6)
- Security model consistency in secure object-oriented systems (1989) (6)
- Automatic blockchain whitepapers analysis via heterogeneous graph neural network (2020) (6)
- Multilevel secure database management systems (1990) (6)
- Rapid Simulation Evaluation from Scenario Specifications for Command and Control Systems (2004) (6)
- System bounding issues for analysis (1994) (6)
- Autonomous hot patching for Web-based applications (2005) (6)
- Unidirectional cube connected cycles (1993) (6)
- Gesture ontology for informing Service-oriented Architecture (2012) (6)
- A multiversion transaction scheduler for centralized multilevel secure database systems (1996) (6)
- Distributed component hub for reusable software components management (2000) (6)
- A Distributed Digital Asset-Trading Platform Based on Permissioned Blockchains (2018) (6)
- Sequence specification for concurrent object-oriented applications (1997) (5)
- Embryonic Classes: Enabling Selective Multiple Inheritance. (1994) (5)
- Object-Oriented Analysis as Design: a Case Study (1992) (5)
- Testing expert systems using conventional techniques (1992) (5)
- Proof slicing with application to model checking Web services (2005) (5)
- Automatic test case generation from relational algebra queries (1988) (5)
- Exploring Cyberlearning: Inquiry-Based Mashups Combining Computer Science with STEM (2011) (5)
- SOFTWARE METRICS INTERPRETATION THROUGH EXPERIMENTATION. (1986) (5)
- Attack tolerant enhancement of intrusion detection systems (2000) (5)
- A Classification of Enterprise Service-Oriented Architecture (2010) (5)
- INTRODUCTION TO PROGRAMMING LANGUAGES: PRINCIPLES, C, C++, SCHEME AND PROLOG (2003) (4)
- Ontology-Based Service Composition Framework for Syndicating Building Intelligence (2009) (4)
- Enterprise Mobile Service Architecture: Challenges and Approaches (2013) (4)
- Autonomous Decentralized Tenant Access Control Model for Sub-tenancy Architecture in Software-as-a-Service (SaaS) (2015) (4)
- SDFS: A Scalable Data Feed Service for Smart Contracts (2019) (4)
- Towards Selecting Test Data Using Topological Structure of Boolean Expressions (2009) (4)
- Towards a framework for normative software engineering research (1989) (4)
- A Transaction Model for Parallel Production Systems Part II: Model and Evaluation (1993) (4)
- Rapid Service-Oriented business process generation method based on ontology (2013) (4)
- Invited Paper: Blockchain Design - A PFMI Viewpoint (2019) (4)
- A case study of solving optimization problems using neural networks (1988) (4)
- Composing Highly Reliable Service-Oriented Applications Adaptively (2008) (4)
- Ontology-based Information Sharing in Service-Oriented Database Systems (2009) (4)
- The Impact of SOA Policy-Based Computing on C2 Interoperation and Computing (2005) (4)
- LTBD: A Triage Framework (2016) (4)
- Success factors in mobile social networking application development: case study of instagram (2014) (4)
- Towards a Game Theoretical Model for Software Crowdsourcing Processes (2015) (4)
- Monitoring Interval Properties in Real-Time Systems (1995) (4)
- COMPASS: A Data-Driven Blockchain Evaluation Framwework (2020) (3)
- Simulation and theoretical results on cluster management and directory management in dynamic hierarchical networks (1992) (3)
- IMPLEMENTING A REAL-TIME DISTRIBUTED SYSTEM ON A LOCAL AREA NETWORK. (1987) (3)
- An agent architecture for supporting individualized services in Internet applications (1998) (3)
- Event-driven service-oriented simulation framework (2010) (3)
- OCL goes real-time (2002) (3)
- Adaptive Reasoning Algorithm with Automated Test Cases Generation and Test Algebra in Saas System (2017) (3)
- Application of data-centered approach to Year 2000 problem (1997) (3)
- Test Case Generation for Boolean Expressions by Cell Covering (2018) (3)
- Ontology patterns for service‐oriented software development (2013) (3)
- E2E Testing and Evaluation of High Assurance Systems (2006) (3)
- What Software Engineering Can Learn From Practitioners (1990) (3)
- LSO: A Dynamic and Scalable Blockchain Structuring Framework (2021) (3)
- A Semantic Framework for Distributed Applications (2003) (3)
- Prototyping as a Research Tool for MLS/DBMS (1988) (3)
- Services utility prediction on a cloud (2011) (3)
- Area efficient binary tree layout (1991) (3)
- Service-Oriented Computing and Web Software Integration - From Principles to Development (3. ed., rev. pr.) (2011) (3)
- Techniques in Software Quality Assurance (1982) (3)
- A parallel architecture for large scale production systems (1989) (3)
- Modeling Context-aware Legal Computing with Bigraphs (2017) (3)
- Building trustworthy applications on a Service-Oriented Computing paradigm (2007) (3)
- Combinatorial Testing in Cloud Computing (2017) (3)
- Object-Oriented Experiences: Introduction to the Special Section. (1995) (2)
- Interview with Takashi Sano (1997) (2)
- Dynamic Assessment and Customizable e-Learning Content Generator (2008) (2)
- State synchronization in process-oriented chaincode (2019) (2)
- SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS. (1986) (2)
- Ontology and Service Oriented Programming (2005) (2)
- Integrated Taas with Fault Detection and Test Algebra (2017) (2)
- Asynchronous recovery protocols for distributed systems (1988) (2)
- Production scheduling in database production systems (1990) (2)
- Building e-commerce systems using semantic application framework (2004) (2)
- A Cloud-Based Platform for Crowdsourcing and Self-Organizing Learning (2014) (2)
- Service-orientation in computing curriculum (2011) (2)
- Verification of Flight Software with Karnough Map-based Checking (2007) (2)
- ScmEngine: A Distributed Software Management Environment on X.500 (1997) (2)
- Game-Theoretic Analysis on CBDC Adoption (2021) (2)
- A location transparent and cost effective routing algorithm for mobile componentware interaction and coordination (2002) (2)
- Autonomous Decentralized Authorization and Authentication Management for Hierarchical Multi-Tenancy (2016) (2)
- Synthesis approach for designing concurrent systems (1988) (2)
- Trends in software technology (1997) (2)
- Flow analysis for concurrent, reactive, real-time systems (1996) (2)
- Software representation to support change (1990) (2)
- A Real-Time Community-of-Interest Framework for Command-and-Control Applications (2004) (2)
- Decentralized Digital-Asset Exchanges: Issues and Evaluation (2020) (2)
- Policy Management for Secure Data Access Control in Vehicular Networks (2011) (2)
- U0 Bound Binary Tree Layout (1991) (1)
- Reusable strategies for testing safety-critical systems (1999) (1)
- Load balancing of DOALL loops in the Perfect Club (1993) (1)
- Uni-directional cube-connected cycles (1991) (1)
- Guest editorial: Blockchain technologies and applications (2019) (1)
- Actor-based Model for Concurrent Byzantine Fault-tolerant Algorithm (2019) (1)
- AI and software engineering: a clash of cultures? (1990) (1)
- Covert Channel Secure Hypercube Message Communication (1995) (1)
- Design for constraint violation detection in safety-critical systems (1998) (1)
- AURA-CFG/E: An Object-Oriented approach for Acquisition and Decomposition of DFDs from End users (1995) (1)
- 3 Tier Transparent Web Application Developing Approach (2002) (1)
- I/O bound binary tree layout (1991) (1)
- Combining Hierarchical Filtering, Fuzzy Logic, and Simulation with Software Agents for IP (Intellectual Property) Selection in Electronic Design (2001) (1)
- An evaluation framework for software crowdsourcing (2013) (1)
- A SaaS-based Software Modeling for Bank Intermediary Business (2015) (1)
- Array Covering: A Technique4 for Enabling Lloop Parallelization (1992) (1)
- Information capacity of McCulloch Pitts' model (1988) (1)
- Quadtree interconnection network layout (1992) (1)
- AI Applications in Multilevel Database Security (1990) (1)
- A Trusted Supply Chain Management System Based on Permissioned Blockchains (2019) (1)
- Prototyping the SODA Model (1989) (1)
- Processor preallocation and load balancing of DOALL loops (1994) (1)
- Embedding of Linear Array and Binary Tree in Cubical Ring Connected Cycles Networks (1989) (1)
- Verifying timing constraints in real-time systems (2012) (1)
- Development of a Security Robot in Service-Oriented Architecture -- Progress Report on Intel Security Robot Project (2008) (1)
- A dynamic policy management framework in service-oriented architecture (2011) (1)
- A Distributed Clustering Algorithm for Large Computer Networks (1986) (1)
- Opusdei-integrated environment for software development and maintenance (1996) (1)
- Expert systems for software engineering? (1988) (1)
- Web-Based Performance Monitor for Distributed Computing (2015) (1)
- Model checking: novel techniques and applications (2005) (1)
- ARCHITECTURAL ISSUES IN DISTRIBUTED SYSTEMS. (1981) (1)
- Understanding Requirements Driven Architecture Evolution in Social Networking SaaS: An Industrial Case Study (2014) (1)
- Adaptive Fault Detection In Multi-tenancy Saas Systems (2017) (1)
- Delay Analysis of Consensus Communication for Blockchain-Based Applications Using Network Calculus (2022) (1)
- Verification algebra for multi‐tenant applications in VaaS architecture (2021) (1)
- Hardware rollback recovery schemes for multiprocessor systems (1989) (1)
- Expert systems and software engineering (1988) (1)
- Object-oriented paradigm and software engineering (1988) (1)
- Shadow pattern: A new design pattern for testing (2004) (0)
- A neural network model, its properties and applications (1990) (0)
- DRAFT 1 ScmEngine A Distributed Program Management Environment on X . 500 (2005) (0)
- An Approach to Reconfigure a Fault-Tolerant Loop System (1990) (0)
- A New Blockchain Design Decoupling Consensus Mechanisms from Transaction Management (2022) (0)
- Software Engineering Practices and Tools for Real-Time Systems (Part II): Guest Editor's Introduction (1996) (0)
- Recursive Binary Tree Layout Mixing (1994) (0)
- SPECIAL ISSUE: AUTONOMOUS DECENTRALISED SYSTEMS IN WEB COMPUTING (2011) (0)
- Table of Contents. (2017) (0)
- Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest (2018) (0)
- A Collaborative Approach for Minimal-Cost Monitor Deployment in Cloud Environment (2015) (0)
- An Architecture for SaaS-Oriented VV&A (2018) (0)
- A Cloud-based Resource and Service Sharing Platform for Computer and Network Security Education (0)
- A Transaction Model for Parallel Rule Execution Part I: Model and Algorithms (1993) (0)
- Scheduling of Jobs in a Hypercube Processing System (1996) (0)
- Servicetizing User Experiences for Complex Business Applications (2006) (0)
- Message from the mobilecloud 2013 general co-chairs (2013) (0)
- WCCIA 2006 Organizing Committees (2006) (0)
- Multi-party conflict: the problem and its solutions (1989) (0)
- VSAM conversion for COBOL programs (1999) (0)
- Element Re-identification in Crowdtesting (2021) (0)
- Sequence Specification for Concurrent Object-Brientte (1997) (0)
- Multi-failure fault-tolerance of embedded loops on hypercubes: issues and performance study (1990) (0)
- Proceedings of the ninth IASTED International Conference on Software Engineering and Applications, November 14-16, 2005, Phoenix, AZ, USA (2005) (0)
- Hypothesis testing for module test in software development (2002) (0)
- APPLICATION OF METRICS TO REQUIREMENT SPECIFICATION BASED ON THE STATE TRANSITION MODEL. (1986) (0)
- BLOCKCHAIN TECHNOLOGIES AND APPLICATIONS (2019) (0)
- Quadtree Layouts and I/O Bandwidth (1995) (0)
- Collaborative service oriented computing with clustering technologies (2007) (0)
- XML-based E2E Test Report Management (2001) (0)
- Computer Ontology for Individualized Learning in STEM Education (2011) (0)
- Crowdtesting Practices and Models: An Empirical Approach (2022) (0)
- Conditional transactions: a model of computation for active databases (1991) (0)
- Blockchains with Five Merkle Trees to Support Financial Transactions (2022) (0)
- Panel: Object-Oriented Knowledge-Based Software Maintenance (1988) (0)
- Service-oriented smart home applications: composition, code generation, deployment, and execution (2011) (0)
- Object-oriented techniques in the design of safety-critical software systems (1998) (0)
- Process synchronization and coordination in error recovery protocols for distributed computing systems (1990) (0)
- Cover Image (2018) (0)
- Binary analysis and automated hot patching for Web-based applications (2006) (0)
- Static identifying of synchronization faults in dynamic-multithreaded applications (1998) (0)
- An Evaluation Framework for Extreme Learning Process (XLP) (2015) (0)
- Event-Processing Model for Smart Contracts with Oracle and EEG (2022) (0)
- Seke 2006 Seke'2006 Foreword Steering Committee Conference General Chair Program Chair Program Co-chairs Program Committee Proceedings Cover Design Conference Secretariat International Workshop on Applications of Artificial Intelligence in Energy Production and Environmental Systems Engineering Prog (2006) (0)
- AI in multimedia (panel session) (1991) (0)
- Object-oriented real-time system analysis and design issues (1993) (0)
- Scenario-Based System Generation for Process Control (2003) (0)
- System architecture for high-performance permissioned blockchains (2019) (0)
- Enterprise Mobile Services Architecture: Challenges and Approaches - Part II (2013) (0)
- Specifying constraints with message sequence specifications (1999) (0)
- OCL Goes Real-Time (Panel). (2002) (0)
- Prototyping to Explore NILS/DBMS Design (2002) (0)
- Inverted Memory (1991) (0)
- Prototyping to explore MLS/DBMS design (1989) (0)
- ISORC 2010 - 2010 13th IEEE International Symposium on Object/Component/ Service-Oriented Real-Time Distributed Computing: Message from the program Co-chairs (2010) (0)
- A New Digital-Currency Model Based on Certificates (2022) (0)
- An Adaptive Management Framework for Service Brokers in Service-oriented Architecture (2009) (0)
- Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction (1996) (0)
- Message from the General and Program Co-chairs (2008) (0)
- An Object-Based Environment (Opusdei) for Software Development and Maintenance (1996) (0)
- From Crowdsourced Software Development to Crowdtesting (2021) (0)
- 2019 7th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (2019) (0)
- Designing Better Methodologies for Expert System Development (1993) (0)
- Message from the IWSC 2015 Workshop Organizers (2015) (0)
- Optimized Bandwidth Allocation for MEC Server in Blockchain-Enabled IoT Networks (2022) (0)
- Service Oriented Computing: Technology Trends and Research Directions (2007) (0)
- TaaS Design for Combinatorial Testing (2017) (0)
- Personalized gesture interactions for cyber-physical smart-home environments (2016) (0)
- A Synthesis Approach to Developing Large Petri Nets (1990) (0)
- Table of contents (2004) (0)
- Framework development and asset management for software reuse (2003) (0)
- Smart-Contract Vulnerability Detection Method Based on Deep Learning (2022) (0)
- Neural networks and parallel associative processingPreface (1992) (0)
- Quadtree Layout (2004) (0)
- A Framework for Developing Web-Based Educational Applications: Using a Relational Database to Connect the Design of Authoring and Navigational Tools (1997) (0)
- Schemes for locating, collaboration, and management of net-centric services (2005) (0)
- State synchronization in process-oriented chaincode (2019) (0)
- A Multi-level Corporate Wallet with Governance (2022) (0)
- Message from the WCCIA 2006 Chairs (2006) (0)
- Object prototyping: Concept and specification language (1993) (0)
- Preface: Special issue on service-oriented computing (2009) (0)
- STRISA: A New Regulation Architecture to Enforce Travel Rule (2020) (0)
- Performance evaluation of distributed real-time scheduling algorithms (1990) (0)
- The Design of "Low-End" Machines for Data Management in Distributed Systems (1982) (0)
- Message from the IEEE BigDataService 2015 general chairs (2015) (0)
- Object-oriented real-time systems analysis and design issues (1993) (0)
- Quality of Heuristic Programs (Panel) (1993) (0)
- Some Lessons Learned in Transitioning to OO Software Development (1997) (0)
- Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW) (2016) (0)
- IC2E 2013: Message from the General Chairs (2013) (0)
- Adaptive Byzantine Fault-Tolerant ConsensusProtocol (2022) (0)
- Flexible-Matching Data-Comparison Tool with the Cloud Applications (2010) (0)
- On the reconfigurability of embedded loops on hypercubes and its application (1992) (0)
- Specification and testing of timing constraints in real-time object oriented systems (1996) (0)
- A recursive reinforced blockchain performance evaluation and improvement architecture: Maximising diversity to improve scalability (2022) (0)
- 36 13362 – Cloud-based Software Crowdsourcing (2013) (0)
- Converting VSAM in COBOL to embedded SQL (1996) (0)
- Corrigendum to "A novel approach to collaborative testing in a crowdsourcing environment" in the Journal of Systems and Software 86 (2013) 2143-2153 (2014) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Wei‐tek Tsai?
Wei‐tek Tsai is affiliated with the following schools:
