Stephen S. Yau

Affiliations:
  • Arizona State University, Tempe, Arizona, USA
  • University of Floria, Gainesville, FL, USA
  • Northwestern University, Evanston, IL, USA


According to our database1, Stephen S. Yau authored at least 253 papers between 1961 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Privacy-Preserving Collaborative Queries in Services Computing Using Multisource Private Data Counting.
IEEE Trans. Serv. Comput., 2024

2023
SaaSC: Toward Pay-as-You-Go Mode for Software Service Transactions Based on Blockchain's Smart Legal Contracts.
IEEE Trans. Serv. Comput., 2023

A Blockchain-Based Approach to Improving Smart Home Security With Situation-Aware Access Control.
Proceedings of the IEEE International Conference on Blockchain, 2023

2022
SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-Based Auction Services.
IEEE Trans. Serv. Comput., 2022

Guest Editorial: Trust, Security and Privacy of 6G.
IEEE Netw., 2022

Attribute-Based Private Data Sharing With Script-Driven Programmable Ciphertext and Decentralized Key Management in Blockchain Internet of Things.
IEEE Internet Things J., 2022

2021
Towards Green Service Composition Approach in the Cloud.
IEEE Trans. Serv. Comput., 2021

Tensor-Train-Based High-Order Dominant Eigen Decomposition for Multimodal Prediction Services.
IEEE Trans. Engineering Management, 2021

Blockchain-Based Software Architecture Development for Service Requirements With Smart Contracts.
Computer, 2021

An Effective Approach to Protecting Low-Power and Lossy IoT Networks Against Blackhole Attacks.
Proceedings of the 2021 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, 2021

Message from the DependSys 2021 General Chairs.
Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

A Blockchain-Based Scalable Approach to Protecting Electronic Voting from Central Authority Attacks.
Proceedings of the IEEE Intl Conf on Dependable, 2021

2020
Towards Service Composition Aware Virtual Machine Migration Approach in the Cloud.
IEEE Trans. Serv. Comput., 2020

Customized Network Security for Cloud Service.
IEEE Trans. Serv. Comput., 2020

A Blockchain Approach to Identifying Compromised Nodes in Collaborative Intrusion Detection Systems.
Proceedings of the IEEE Intl Conf on Dependable, 2020

Application of Blockchain for Trusted Coordination in Collaborative Software Development.
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

A Blockchain-based Testing Approach for Collaborative Software Development.
Proceedings of the IEEE International Conference on Blockchain, 2020

2019
Recovering Decentralized Critical Archival Data From Tampering in Smart City Environment Using Blockchain.
Proceedings of the 2019 IEEE SmartWorld, 2019

2018
Editorial Preface: Special Issue on Mobile & Cloud Computing Services.
IEEE Trans. Serv. Comput., 2018

2017
An Approach to QoS-based Task Distribution in Edge Computing Networks for IoT Applications.
Proceedings of the IEEE International Conference on Edge Computing, 2017

2016
Attack Detection in Cloud Infrastructures Using Artificial Neural Network with Genetic Feature Selection.
Proceedings of the 2016 IEEE 14th Intl Conf on Dependable, 2016

Brain Big Data in Wisdom Web of Things.
Proceedings of the Wisdom Web of Things, 2016

2015
An Efficient Approach to Generating Location-Sensitive Recommendations in Ad-hoc Social Network Environments.
IEEE Trans. Serv. Comput., 2015

Brain Informatics-Based Big Data and the Wisdom Web of Things.
IEEE Intell. Syst., 2015

IEEE Access Special Section Editorial: Challenges for Smart Worlds.
IEEE Access, 2015

Top Challenges for Smart Worlds: A Report on the Top10Cs Forum.
IEEE Access, 2015

An Effective Approach to Continuous User Authentication for Touch Screen Smart Devices.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Message from the IWSC 2015 Workshop Organizers.
Proceedings of the 39th Annual Computer Software and Applications Conference, 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

Protecting Critical Cloud Infrastructures with Predictive Capability.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014
Detecting k-Balanced Trusted Cliques in Signed Social Networks.
IEEE Internet Comput., 2014

An adaptable distributed trust management framework for large-scale secure service-based systems.
Computing, 2014

Intelligent Planning for Developing Mobile IoT Applications Using Cloud Systems.
Proceedings of the IEEE Third International Conference on Mobile Services, Anchorage, AK, USA, June 27, 2014

A Reference Architecture for Improving Security and Privacy in Internet of Things Applications.
Proceedings of the IEEE Third International Conference on Mobile Services, Anchorage, AK, USA, June 27, 2014

A History-Based Dynamic Random Software Testing.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Dynamic Random Testing with Parameter Adjustment.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Dynamic Audit Services for Outsourced Storages in Clouds.
IEEE Trans. Serv. Comput., 2013

Development of Situation-Aware Applications in Services and Cloud Computing Environments.
Int. J. Softw. Informatics, 2013

An Adaptive Control Strategy for Managing Concurrent Service Requests in Service-Based Systems.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012
An Approach to Data Confidentiality Protection in Cloud Environments.
Int. J. Web Serv. Res., 2012

Efficient audit service outsourcing for data integrity in clouds.
J. Syst. Softw., 2012

Analysis and modeling of service impacts on system activities, resource workloads and service performance on computer and network systems.
Inf. Knowl. Syst. Manag., 2012

Validation of service oriented computing DEVS simulation models.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

A Reputation System for Trustworthy QoS Information in Service-Based Systems.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011
Simulating adaptive service-oriented software systems.
Simul., 2011

An Adaptive Approach to Optimizing Tradeoff Between Service Performance and Security in Service-Based Systems.
Int. J. Web Serv. Res., 2011

Software Engineering Meets Services and Cloud Computing.
Computer, 2011

Dynamic audit services for integrity verification of outsourced storages in clouds.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Anonymous Service Usage and Payment in Service-Based Systems.
Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011

Challenges and Future Trends of Distributed Computing Systems.
Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011

An Approach to Improving Trust Estimation in Service-Based Systems.
Proceedings of the 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2011

Distributed Monitoring and Adaptation of Multiple QoS in Service-Based Systems.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Panel Session: Future Directions of Software Cybernetics.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Joint COMPSAC/SAINT 2011 Panel: International Perspectiveson Computed World: Software Beyond the Digital Society.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

QoS-Based Service Ranking and Selection for Service-Based Systems.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
Attribute-Based Signature with Policy-and-Endorsement Mechanism.
J. Comput. Sci. Technol., 2010

Models of dynamic relations among service activities, system state and service quality on computer and network systems.
Inf. Knowl. Syst. Manag., 2010

Confidentiality Protection in Cloud Computing Systems.
Int. J. Softw. Informatics, 2010

Efficient provable data possession for hybrid clouds.
IACR Cryptol. ePrint Arch., 2010

Protection of users' data confidentiality in cloud computing.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Plenary Panel Description: Challenges and Future Directions of Software Technology.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Parallel Implementation Strategy of Adaptive Testing.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Improving the Trustworthiness of Service QoS Information in Service-Based Systems.
Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

2009
Toward Development of Adaptive Service-Based Software Systems.
IEEE Trans. Serv. Comput., 2009

Adaptive Resource Allocation for Service-Based Systems.
Int. J. Softw. Informatics, 2009

An Intelligent Control Architecture for Adaptive Service-Based Software Systems.
Int. J. Softw. Eng. Knowl. Eng., 2009

An Efficient Approach to Situation-Aware Service Discovery in Pervasive Service Computing Environments.
Proceedings of the Ubiquitous Intelligence and Computing, 6th International Conference, 2009

An Adaptive Tradeoff Model for Service Performance and Security in Service-Based Systems.
Proceedings of the IEEE International Conference on Web Services, 2009

Default <i>α</i>-Logic for Modeling Customizable Failure Semantics in Workflow Systems Using Dynamic Reconfiguration Constraints.
Proceedings of the Grid and Distributed Computing, 2009

A Control-Based Approach to Balance Services Performance and Security for Adaptive Service Based Systems (ASBS).
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Mobile and Ubiquitous Computing.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

A Privacy Preserving Repository for Data Integration across Data Sharing Services.
IEEE Trans. Serv. Comput., 2008

Specification, decomposition and agent synthesis for situation-aware service-based systems.
J. Syst. Softw., 2008

A simulation framework for service-oriented computing systems.
Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

Security Policy Integration and Conflict Reconciliation for Collaborations among Organizations in Ubiquitous Computing Environments.
Proceedings of the Ubiquitous Intelligence and Computing, 5th International Conference, 2008

A Flexible Trust Model for Distributed Service Infrastructures.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Developing Service-Based Software Systems with QoS Monitoring and Adaptation.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

Plenary Panel Session A: Grand Challenges in Distributed Computing Systems.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

IWSC 2008 Workshop Organization.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Message from the IWSC 2008 Workshop Organizers.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Position Statement: Advances and Challenges of Software Engineering.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

An Intelligent Control Architecture for Adaptive Service-Based Software Systems with Workflow Patterns.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Controlled privacy preserving keyword search.
Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Service Functionality Indexing and Matching for Service-Based Systems.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

A Risk Reduction Framework for Dynamic Workflows.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Multi-hop Clustering Based on Neighborhood Benchmark in Mobile Ad-hoc Networks.
Mob. Networks Appl., 2007

Automated Situation-Aware Service Composition in Service-Oriented Computing.
Int. J. Web Serv. Res., 2007

Developing Adaptive Software with Multiple QoS Requirements.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

An Approach to Automated Agent Deployment in Service-Based Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Functionality-Based Service Matchmaking for Service-Oriented Architecture.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

A Situation-aware Access Control based Privacy-Preserving Service Matchmaking Approach for Service-Oriented Architecture.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

A Software Cybernetics Approach to Deploying and Scheduling.
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Design of Service-Based Systems with Adaptive Tradeoff Between Security and Service Delay.
Proceedings of the Autonomic and Trusted Computing, 4th International Conference, 2007

2006
Mobile Middleware for Situation-Aware Service Discovery and Coordination.
Proceedings of the Handbook of Mobile Middleware., 2006

Support for situation awareness in trustworthy ubiquitous computing application software.
Softw. Pract. Exp., 2006

Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach.
Int. J. Softw. Eng. Knowl. Eng., 2006

Hierarchical situation modeling and reasoning for pervasive computing.
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 Framework for Extensible Component Customization for Component-based Software Development.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Incorporating Situation Awareness in Service Specifications.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

A Location-based Directional Route Discovery (LDRD) Protocol in Mobile Ad-hoc Networks.
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

Automated Agent Synthesis for Situation Awareness in Service-Based Systems.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Future Trends of Software Technology and Applications.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Development and Runtime Support for Situation-Aware Security in Autonomic Computing.
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

A Framework for Specifying and Managing Security Requirements in Collaborative Systems.
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

Managing Trust in Distributed Agent Systems.
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

2005
A middleware service for secure group communication in mobile ad hoc networks.
J. Syst. Softw., 2005

An Adaptable Security Framework for Service-based Systems.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Replication for Adaptive Responsiveness in Service-Oriented Systems.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Adaptable Situation-Aware Secure Service-Based (AS<sup>3</sup>) Systems.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Situation-aware access control for service-oriented autonomous decentralized systems.
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

Situation-Awareness for Adaptive Coordination in Service-Based Systems.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Keynote Speech: Model-Driven Agile Development (MAD) for Situation-Aware Software in Ubiquitous Computing Environments.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Security and Privacy in Collaborative Distributed Systems.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
An Adaptive Middleware for Context-Sensitive Communications for Real-Time Applications in Ubiquitous Computing Environments.
Real Time Syst., 2004

A context-sensitive middleware for dynamic integration of mobile devices with network infrastructures.
J. Parallel Distributed Comput., 2004

Current State and Future Trends of Distributed Computing Systems in Asia.
Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004

An Adaptive, Lightweight and Energy-Efficient Context Discovery Protocol for Ubiquitous Computing Environments.
Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004

Q-MAR: An Adaptive QoS Management Model for Situation-Aware Middleware.
Proceedings of the Embedded and Ubiquitous Computing, 2004

Development and Runtime Support for Situation-Aware Application Software in Ubiquitous Computing Environments.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Embedded Software in Real-Time Pervasive Computing Environments.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Testing Context-Sensitive Middleware-Based Software Applications.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
An Energy-Efficient Object Discovery Protocol for Context-Sensitive Middleware for Ubiquitous Computing.
IEEE Trans. Parallel Distributed Syst., 2003

Middleware Support for Embedded Software with Multiple QoS Properties for Ubiquitous Computing Environments.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

A Lightweight Middleware Protocol for Ad Hoc Distributed Object Computing in Ubiquitous Computing Environments.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

An Approach to Developing Information Dissemination Service for Ubiquitous Computing Applications.
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

Supporting Future ADS Applications in Ubiquitous Computing Environments Using Adaptive, Context-Sensitive Middleware.
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

Software Development Support for Next-Generation Distributed Embedded Systems.
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Challenges of Future Distributed Computing Systems.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Q-MAR: A QoS Resource Conflict Identification Model for Situation-Aware Middleware.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Challenges and Recent Advances in Developing Trustworthy Software-Based Systems.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

Situation-Aware Personalized Information Retrieval for Mobile Internet.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002
Reconfigurable Context-Sensitive Middleware for Pervasive Computing.
IEEE Pervasive Comput., 2002

Schedulability in Model-based Software Development for Distributed Real-Time Systems.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

An Approach to Object-Oriented Component Customization for Real-Time Software Development.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Adaptive Middleware for Ubiquitous Computing Environments.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

Development of Situation-Aware Application Software for Ubiquitous Computing Environment.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Entrepreneurship in Software Industry.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Context-Sensitive Middleware for Real-Time Software in Ubiquitous Computing Environments.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

Reconfigurable Context-Sensitive Middleware for ADS Applications in Mobile Ad Hoc Network Environments.
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

Context-Sensitive Object Request Broker for Ubiquitous Computing Environments.
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000
Component Customization for Object-Oriented Distributed Real-Time Software Development.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Integration in Component-Based Software Development Using Design Patterns.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

Achieving Quality Software Development for Distributed Environments.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999
An object-oriented approach to containing mobile and active codes in large-scale networks.
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Autonomous Decentralized System with Event Service for Information Services.
Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

Integration of Object-Oriented Software Components for Distributed Application Software Development.
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

Computer Network Intrusion Detection, Assessment And Prevention Based on Security Dependency Relation.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

Supply and Demands of Information Technology Workers.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998
An Approach to Distributed Component-Based Real-Time Application Software Development.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Object Oriented Distributed Component Software Development based on CORBA.
Proceedings of the COMPSAC '98, 1998

Panel Session: Directions for Software Technology.
Proceedings of the COMPSAC '98, 1998

1997
A framework for ADS application software development based on CORBA.
Proceedings of the Third International Symposium on Autonomous Decentralized Systems, 1997

Intrusion ripple analysis in distributed information systems.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

1996
Essays on Fifty Years of Computing - Guest Editor's Introduction.
Computer, 1996

Object-oriented software development with fault tolerance for distributed real-time systems.
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

A Framework for an Integrated Tool Set for Object-Oriented Analysis of Application Software Development.
Proceedings of the COMPSAC '96, 1996

1995
Context-dependent flow-sensitive interprocedural dataflow analysis.
J. Softw. Maintenance Res. Pract., 1995

An object-oriented software development framework for autonomous decentralized systems.
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

A clustering algorithm for object-oriented development of distributed computing system software.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

An Architecture-Independent Software Development Approach for Parallel Processing Systems.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994
An object finder for program structure understanding in software maintenance.
J. Softw. Maintenance Res. Pract., 1994

Object-oriented and functional software design for distributed real-time systems.
Comput. Commun., 1994

An approach to object-oriented requirements verification in software development for distributed computing systems.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1993
Object-oriented development of architecture transparent software for distributed parallel systems.
Comput. Commun., 1993

Constraint-Driven Programming in Strongly-Typed Object-Oriented Languages.
Comput. Lang., 1993

Paradigm Lost: Discovering the Intersection of Assertion-Guided Program Construction and Constraint-Driven Reevaluation.
Comput. J., 1993

An object-oriented approach to software development for autonomous decentralized systems.
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

A task allocation algorithm for distributed computing systems.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
Software design methods for distributed computing systems.
Comput. Commun., 1992

Editorial.
Comput. Commun., 1992

A partitioning approach for object-oriented software development for parallel processing systems.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991
PROOF: A Parallel Object-Oriented Functional Computation Model.
J. Parallel Distributed Comput., 1991

An approach to module distribution for the design of embedded distributed software systems.
Inf. Sci., 1991

An object-oriented approach to software development for parallel processing systems.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990
An integrated expert system framework for software quality assurance.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989
On transformation of logic specifications into procedural programs.
Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

An approach to verification of communication in distributed computing system software.
Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

A structured bipartite inheritance network representation for object-oriented software design.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988
An Integrated Life-Cycle Model for Software Maintenance.
IEEE Trans. Software Eng., 1988

Verification of Concurrent Control Flow in Distributed Computer Systems.
IEEE Trans. Software Eng., 1988

A metric of modifiability for software maintenance.
Proceedings of the Conference on Software Maintenance, 1988

Visual languages and software specifications.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

An approach to software requirement specification.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1987
Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications.
IEEE Trans. Software Eng., 1987

Relationship Between Data Engineering and Software Engineering (Abstract).
Proceedings of the Third International Conference on Data Engineering, 1987

1986
A Survey of Software Design Techniques.
IEEE Trans. Software Eng., 1986

A partitioning algorithm for distributed software systems design.
Inf. Sci., 1986

Markov reliability models of fault-tolerant distributed computing systems.
Inf. Sci., 1986

Perspectives on a Quarter-Century: AFIPS Presidents.
IEEE Ann. Hist. Comput., 1986

1985
Design Stability Measures for Software Maintenance.
IEEE Trans. Software Eng., 1985

1984
Performance Optimization of a CSMA Protocol for Local Computer Networks.
IEEE Trans. Computers, 1984

Special Message.
Computer, 1984

Editor-in-Chief's Remarks: Japanese Computer Technology and Culture.
Computer, 1984

A Graph-Based Software Maintenance Environment.
Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

1983
Distributed Software System Design Representation Using Modified Petri Nets.
IEEE Trans. Software Eng., 1983

An Algebraic Model of Fault-Masking Logic Circuits.
IEEE Trans. Computers, 1983

A formal methodology using attributed grammars for multiprocessing-system software development II - Validation.
Inf. Sci., 1983

A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation.
Inf. Sci., 1983

Meeting the Crisis in Computer Science.
Computer, 1983

1982
On Communication in the Design of Software Components of Distributed Computer Systems.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981
An Approach to Distributed Computing System Software Design.
IEEE Trans. Software Eng., 1981

A Model for Representing Programs Using Hierarchical Graphs.
IEEE Trans. Software Eng., 1981

1980
Some Stability Measures for Software Maintenance.
IEEE Trans. Software Eng., 1980

An Approach to Concurrent Control Flow Checking.
IEEE Trans. Software Eng., 1980

Software Design Representation Using Abstract Process Networks.
IEEE Trans. Software Eng., 1980

Assertion techniques for dynamic monitoring of linear list data structures.
J. Syst. Softw., 1980

1979
Generation of Shortest Test Sequences for Detecting Individual Faults of Sequential Circuits.
Comput. J., 1979

Assertion techniques for dynamic monitoring of linear list data structures.
Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

1978
An approach to peal-time control flow checking.
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

Ripple effect analysis of software maintenance.
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977
Nonparametric Estimation of the Bayes Error of Feature Extractors Using Ordered Nearest Neighbor Sets.
IEEE Trans. Computers, 1977

Associative Processor Architecture - A Survey.
ACM Comput. Surv., 1977

1976
On the Design of Modulo Arithmetic Units Based on Cyclic Groups.
IEEE Trans. Computers, 1976

An Approach to Error-Resistant Software Design.
Proceedings of the 2nd International Conference on Software Engineering, 1976

1975
Concurrent Software Fault Detection.
IEEE Trans. Software Eng., 1975

Multiple Fault Detection for Combinational Logic Circuits.
IEEE Trans. Computers, 1975

A direct method for cluster analysis.
Pattern Recognit., 1975

Design of self-checking software.
Proceedings of the International Conference on Reliable Software 1975, 1975

1974
On storage optimization of horizontal microprograms.
Proceedings of the Conference record of the 7th annual workshop on Microprogramming, 1974

1973
Error Correction in Redundant Residue Number Systems.
IEEE Trans. Computers, 1973

1972
A stochastic approximation method for waveform cluster center generation.
IEEE Trans. Inf. Theory, 1972

Linear sequential pattern classification (Corresp.).
IEEE Trans. Inf. Theory, 1972

Generation of regular expressions for automata by the integral of regular expressions.
Comput. J., 1972

Real-time fault detection for small computers.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

1971
Two-Way Sequential Transductions and Stack Automata
Inf. Control., June, 1971

On decoding of maximum-distance separable linear codes.
IEEE Trans. Inf. Theory, 1971

On Identification of Redundancy and Symmetry of Switching Functions.
IEEE Trans. Computers, 1971

Transformation of an Arbitrary Switching Function to a Totally Symmetric Function.
IEEE Trans. Computers, 1971

An Efficient Algorithm for Generating Complete Test Sets for Combinational Logic Circuits.
IEEE Trans. Computers, 1971

Design of Diagnosable Iterative Arrays.
IEEE Trans. Computers, 1971

On the Design of Easily Testable Sequential Machines
Proceedings of the 12th Annual Symposium on Switching and Automata Theory, 1971

Simulation of large asynchronous logic circuits using an ambiguous gate model.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '71 Fall Joint Computer Conference, 1971

1970
Universal Logic Modules and Their Applications.
IEEE Trans. Computers, 1970

Fault Diagnosis and Repair of Cutpoint Cellular Arrays.
IEEE Trans. Computers, 1970

Realization of an Arbitrary Switching Function with a Two-Level Network of Threshold and Parity Elements.
IEEE Trans. Computers, 1970

Sequential feature extraction for waveform recognition.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1970 Spring Joint Computer Conference, 1970

1969
A class of high-speed decoders for linear cyclic binary codes.
IEEE Trans. Inf. Theory, 1969

1968
Redundant Residue Polynomial Codes
Inf. Control., December, 1968

Statistical properties of linear multi-category pattern classifiers based on the least-mean-square error criterion (Corresp.).
IEEE Trans. Inf. Theory, 1968

Design of Pattern Classifiers with the Updating Property Using Stochastic Approximation Techniques.
IEEE Trans. Computers, 1968

Realization of a Class of Switching Functions by Threshold-Logic Networks.
IEEE Trans. Computers, 1968

Unitary Shift-Register Realizations of Sequential Machines.
IEEE Trans. Computers, 1968

Universal logic circuits and their modular realizations.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1968 Spring Joint Computer Conference, Atlantic City, NJ, USA, 30 April, 1968

1967
Bayesian Approach to the Optimization of Adaptive Systems.
IEEE Trans. Syst. Sci. Cybern., 1967

1966
Linearity of Sequential Machines.
IEEE Trans. Electron. Comput., 1966

A Cutpoint Cellular Associative Memory.
IEEE Trans. Electron. Comput., 1966

Improving Reliability of a Sequential Machine by Error-Correcting State Assignments.
IEEE Trans. Electron. Comput., 1966

1965
Autonomous Clocks in Sequential Machines.
IEEE Trans. Electron. Comput., 1965

1961
A Generalization of the Cut-Set for Application to Communication Nets
PhD thesis, 1961


  Loading...