Carl K. Chang

Affiliations:
  • Iowa State University, Ames, Iowa, USA


According to our database1, Carl K. Chang authored at least 186 papers between 1986 and 2021.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2001, "For seamless integration of Petri-net oriented techniques to support project management.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Scrum, Sampling, and the 90 Percent Syndrome.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
Situation-centered goal reinforcement of activities of daily living in smart home environments.
Expert Syst. J. Knowl. Eng., 2020

A Situation Enabled Framework for Energy-Efficient Workload Offloading in 5G Vehicular Edge Computing.
Proceedings of the 2020 IEEE World Congress on Services, 2020

Situation-Driven Context-Aware Safety Model for Risk Mitigation Using LTL in a Smart Home Environment.
Proceedings of the 2020 IEEE World Congress on Services, 2020

2020 IEEE World Congress on Services Message from the Steering Committee Chair.
Proceedings of the 2020 IEEE World Congress on Services, 2020

2019
CMAIR: content and mask-aware image retargeting.
Multim. Tools Appl., 2019

In Search of Scientific Agile.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

Agile, Continuous Integration, and DevOps.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018
Guest Editorial: A Roadmap for Mobile and Cloud Services for Digital Health.
IEEE Trans. Serv. Comput., 2018

Situation analytics - at the dawn of a new software engineering paradigm.
Sci. China Inf. Sci., 2018

Investigating Users' Experiences and Attitudes Towards Mobile Apps' Reviews.
Proceedings of the Human-Computer Interaction. Interaction in Context, 2018

Situation Based Energy Management Framework on Mobile Devices.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

A Multi-layered Desires Based Framework to Detect Users' Evolving Non-functional Requirements.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Situ-Centric Reinforcement Learning for Recommendation of Tasks in Activities of Daily Living In Smart Homes.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
CyVOD: a novel trinity multimedia social network scheme.
Multim. Tools Appl., 2017

A statistical analysis approach to predict user's changing requirements for software service evolution.
J. Syst. Softw., 2017

Special Issue on Software Engineering Technology and Applications.
J. Syst. Softw., 2017

Recognizing Activities of Daily Living to Improve Well-Being.
IT Prof., 2017

Advances in Learning Technologies.
Computer, 2017

A Situation-Centric Approach to Identifying New User Intentions Using the MTL Method.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Situation-Aware Data-Driven Decision Making in Smart Environments Using the MapReduce.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Editorial: Software Engineering and Applications for Cloud-Based Mobile Systems.
IEEE Trans. Serv. Comput., 2016

Smart Health and Well-Being.
Computer, 2016

Situation Analytics: A Foundation for a New Software Engineering Paradigm.
Computer, 2016

Hierarchical Self-organizing Maps of NIRS and EEG Signals for Recognition of Brain States.
Proceedings of the Inclusive Smart Cities and Digital Health, 2016

Situation-Aware Decision Making in Smart Homes.
Proceedings of the Inclusive Smart Cities and Digital Health, 2016

An ADL Recognition System on Smart Phone.
Proceedings of the Inclusive Smart Cities and Digital Health, 2016

Can Situations Help with Reusability of Software?
Proceedings of the Human-Computer Interaction. Theory, Design, Development and Practice, 2016

Message from the SETA Organizing Committee.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Situation-Oriented Requirements Elicitation.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Situation-Oriented Evaluation and Prioritization of Requirements.
Proceedings of the Requirements Engineering Toward Sustainable World, 2016

2015
An Open Message from Professor Stephen S. Yau's Students.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Detection of New Intentions from Users Using the CRF Method for Software Service Evolution in Context-Aware Environments.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Dimensional Situation Analytics: From Data to Wisdom.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

COMPSAC 2015 Plenary Panel on "History of Modern Computing".
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Message from the Stephen S. Yau Academic Symposium Steering Committee Chair.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Message from SETA Symposium Organizing Committee.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Aware Computing [Guest editors' introduction].
Computer, 2014

Black-Box Test Data Generation for GUI Testing.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

Emotion Aware System for the Elderly.
Proceedings of the Smart Homes and Health Telematics - 12th International Conference, 2014

Bayesian Model Averaging of Bayesian Network Classifiers for Intrusion Detection.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

GUIDiVa: Automated Discovery and Validation of State-Based GUI Invariants.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Estimating the Relative Importance of Nodes in Social Networks.
J. Inf. Process., 2013

A metric towards evaluating understandability of state machines: An empirical study.
Inf. Softw. Technol., 2013

Inference of Human Intentions in Smart Home Environments.
Int. J. Robotics Appl. Technol., 2013

Identifying Factors for Human Desire Inference in Smart Home Environments.
Proceedings of the Inclusive Society: Health and Wellbeing in the Community, and Care at Home, 2013

Brain lattice: Concept lattice based causal analysis of changes in mental workload.
Proceedings of the IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2013

2012
A Pattern-Recognition-Based Algorithm and Case Study for Clustering and Selecting Business Services.
IEEE Trans. Syst. Man Cybern. Part A, 2012

Toward a collaboration model for smart spaces.
Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012

A Framework for Service Morphing and Heterogeneous Service Discovery in Smart Environments.
Proceedings of the Impact Analysis of Solutions for Chronic Disease Prevention and Management, 2012

Medbuddy: A Mobile Medicinal Management System for Children with ADD/ADHD.
Proceedings of the Impact Analysis of Solutions for Chronic Disease Prevention and Management, 2012

Automatic Data Clustering Analysis of Arbitrary Shape with K-Means and Enhanced Ant-Based Template Mechanism.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

The Concepts and Ontology of SiSL: A Situation-Centric Specification Language.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Automated Web Service Composition Using Genetic Programming.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

ALTA: Automatic Load-Time Adaptation Technique for Refactoring-Based Evolution of Software Component.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011
Where Software Engineering Meets ...
Computer, 2011

Computational Archaeology: Reviving the Past with Present-Day Tools.
Computer, 2011

Wrenching: Transient Migration from Commonality to Variability in Product Line Engineering of Smart Homes.
Proceedings of the Toward Useful Services for Elderly and People with Disabilities, 2011

A novel interdisciplinary course in gerontechnology for disseminating computational thinking.
Proceedings of the 2011 Frontiers in Education Conference, 2011

Using Web Search Results and Genetic Algorithm to Improve the Accuracy of Chinese Spam Email Filters.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

An Improved Technique of Fitness Evaluation for Evolutionary Testing.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Semantics Based Cohesion and Coupling Metrics for Evaluating Understandability of State Diagrams.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

A Concept Lattice for Recognition of User Problems in Real User Monitoring.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
Design of Service-Oriented Systems Using SODA.
IEEE Trans. Serv. Comput., 2010

Computer software and applications.
J. Syst. Softw., 2010

It Has Been a Long Journey - From the Heart of a Loyal Computer Society Volunteer.
Computer, 2010

A Hybrid Approach to Data Clustering Analysis with K-Means and Enhanced Ant-Based Template Mechanism.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

OCAT: object capture-based automated testing.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Mobile Personal Health Care System for Patients with Diabetes.
Proceedings of the Aging Friendly Technology for Health and Independence, 2010

Automatic Service Composition with Heterogeneous Service-Oriented Architectures.
Proceedings of the Aging Friendly Technology for Health and Independence, 2010

QoS-Based Dynamic Web Service Composition with Ant Colony Optimization.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Reasoning about Human Intention Change for Individualized Runtime Software Service Evolution.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

GenRed: A Tool for Generating and Reducing Object-Oriented Test Cases.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Human Desire Inference Process Based on Affective Computing.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009
Situ: A Situation-Theoretic Approach to Context-Aware Service Evolution.
IEEE Trans. Serv. Comput., 2009

Introduction.
J. Syst. Softw., 2009

Reversing the Bipolar Drift.
Computer, 2009

An Efficient Service Discovery Algorithm for Counting Bloom Filter-Based Service Registry.
Proceedings of the IEEE International Conference on Web Services, 2009

Situation-Theoretic Analysis of Human Intentions in a Smart Home Environment.
Proceedings of the Ambient Assistive Health and Wellness Management in the Heart of the City, 2009

Environment Objects: A Novel Approach for Modeling Privacy in Pervasive Computing.
Proceedings of the Ambient Assistive Health and Wellness Management in the Heart of the City, 2009

Using Web Services for Medication Management in a Smart Home Environment.
Proceedings of the Ambient Assistive Health and Wellness Management in the Heart of the City, 2009

Initiating and Institutionalizing Software Product Line Engineering: From Bottom-Up Approach to Top-Down Practice.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Practical Extensions of a Randomized Testing Tool.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Time-line based model for software project scheduling with genetic algorithms.
Inf. Softw. Technol., 2008

Introducing the Advanced Technology Executive Forum.
Computer, 2008

Computer in 2008.
Computer, 2008

Towards Services Computing Curriculum.
Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

On Distributed Run-Time Software Evolution Driven by Stakeholders of Smart Home Development (Invited Paper).
Proceedings of the ISUC 2008, 2008

HESA: A Human-Centric Evolvable Situation-Awareness Model in Smart Homes.
Proceedings of the Smart Homes and Health Telematics, 6th International Conference, 2008

MISS: Medicine Information Support System in the Smart Home Environment.
Proceedings of the Smart Homes and Health Telematics, 6th International Conference, 2008

Deriving evaluation metrics for applicability of genetic algorithms to optimization problems.
Proceedings of the Genetic and Evolutionary Computation Conference, 2008

Human-Intention Driven Self Adaptive Software Evolvability in Distributed Service Environments.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

Requirements Analysis Using Feedback from Context Awareness Systems.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Human-Machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

An Input Adjustable Tree Algorithm for Evolutionary Testing.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
Toward a Service-Oriented Development Through a Case Study.
IEEE Trans. Syst. Man Cybern. Part A, 2007

Computer Recognizes Expert Reviewers.
Computer, 2007

My Vision for Computer.
Computer, 2007

Services Computing in Daily Work: Service Engineering vs. Software Engineering.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Stochastic Modeling Study for Competitive Web Services Market.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Towards Competitive Web Service Market.
Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

Traceability Link Evolution Management with Incremental Latent Semantic Indexing.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A History-Based Automatic Scheduling Model for Personnel Risk Management.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Towards the Modeling of Personal Privacy in Ubiquitous Computing Environments.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A foundational study on the applicability of genetic algorithm to software engineering problems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

State of the Art in Modeling and Deployment of Electronic Contracts.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

Modeling and Analysis of Performance Oriented and Revenue Based Admission Control Framework for Service Providers.
Proceedings of the 2007 IEEE International Conference on Services Computing, 2007

2006
Survey of computer-supported collaboration in support of business processes.
Int. J. Bus. Process. Integr. Manag., 2006

An Empirical Performance Study on PSIM.
Comput. J., 2006

An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Software Engineering Education in the New Millennium - A View from Asia.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Capability-based Project Scheduling with Genetic Algorithms.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Software and Services: Where do they meet?
Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Service-Oriented Design with Aspects (SODA).
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004
Transforming the World's Computer Society: Together, We Will Get It Done!
Computer, 2004

President's Message: Evolving the World with the World's Computer Society.
Computer, 2004

Towards increasing web application productivity.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Migration to web services oriented architecture: a case study.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

WS-Net: A Petri-net Based Specification Model for Web Services.
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Distributed Systems Design Using Function-Class Decomposition with Aspects.
Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 2004

A Uniform Meta-Model for Mediating Formal Electronic Conferences.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
Event-Based Traceability for Managing Evolutionary Change.
IEEE Trans. Software Eng., 2003

Automating performance-related impact analysis through event based traceability.
Requir. Eng., 2003

Formal Collaborative Production Environment.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Computer Supported Cooperative Work Oriented Architecture.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Rule-mitigated Collaboration Framework.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

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

Supporting Agent-Based Distributed Software Development through Modeling and Simulation.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

Mockup-driven Fast-prototyping Methodology for Web Requirements Engineering.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

Mediating Electronic Meetings.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002
Automating Speculative Queries through Event-Based Requirements Traceability.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Supporting Event Based Traceability through High-Level Recognition of Change Events.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Function-Class Decomposition: A Hybrid Software Engineering Method.
Computer, 2001

Genetic Algorithms for Project Management.
Ann. Softw. Eng., 2001

Annals of Software Engineering Special Volume on Software Management.
Ann. Softw. Eng., 2001

Computing curricula 2001 how will it work for you?
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

Requirements-Based Dynamic Metrics In Object-Oriented Systems.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Formalization of Computer Supported Cooperative Work Applications.
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

Measuring the Intensity of Object Coupling in C++ Programs.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000
Simulation of UICCELL II.
Simul., 2000

Curriculum 2001: Evaluating the Strawman Report Representatives of the ACM/IEEE-CS Task Force (Panel Session).
Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

Algorithms for the Minimal Cutsets Enumeration of Networks by Graph Search and Branch Addition.
Proceedings of the Proceedings 27th Conference on Local Computer Networks, 2000

Supporting the Partitioning of Distributed Systems with Function-Class Decomposition.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999
A Net Practice for Software Project Management.
IEEE Softw., 1999

Curriculum 2001: bringing the future to the classroom.
ACM SIGCSE Bull., 1999

A Circular Skip-cluster Scheme to Support Video-on-Demand Services.
Multim. Syst., 1999

Curricula 2001: A Brief Summary.
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

Rule-Mitigated Collaboration Technology.
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

Trends in Collaboration Technologies for Net-Centric Computing.
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

I3: A Petri-Net Based Specification Method for Architectural Components.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998
Guest Editors' Introduction: Setting the Standard.
IEEE Softw., 1998

Specifications in software prototyping.
J. Syst. Softw., 1998

Software Project Management Net: A New Methodology on Software Management.
Proceedings of the COMPSAC '98, 1998

1997
A Generalized Secret Sharing Scheme.
J. Syst. Softw., 1997

Research on Collaboration Net.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Compiling process algebraic specifications into timed automata.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Blueprint for the Ideal Requirements Engineer.
IEEE Softw., 1996

Temporal Relations and Synchronization Agents.
IEEE Multim., 1996

A Popularity-Based Data Allocation Scheme for a VOD Server.
Proceedings of the COMPSAC '96, 1996

The Trends of Software Technology and Applications.
Proceedings of the COMPSAC '96, 1996

1995
MediaWare: a distributed multimedia environment with interoperability.
Proceedings of the 4th Workshop on Enabling Technologies, 1995

MediaWare: On Multimedia Synchronization.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1995

Creating A Distributed Environment Using Object-Oriented Technology.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994
How to Solve the Management Crisis?
IEEE Softw., 1994

Logging Off: Lessons Learned as Editor.
IEEE Softw., 1994

Change Agents: Plans for a Transition Year.
IEEE Softw., 1994

Changing Face of Software Engineering.
IEEE Softw., 1994

Performance Simulation of Hybrid-Ethernet.
Int. J. Comput. Simul., 1994

Programming Paradigms for Parallel and Distributed Computing: Introduction.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

A new approach to module-oriented design of OO software.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

SPMNet: a formal methodology for software management.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1993
An object-oriented real-time distributed simulation of cellular phone switching system.
Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993

Capturing the objected-oriented database model in relational form.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

An object-oriented prototyping approach to system development.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1990
Joint Software Research Between Industry and Academia.
IEEE Softw., 1990

A real-time distributed simulation of PBX with software reuse.
Simul., 1990

Distributed software testing with specification.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

On transforming Petri net model to Moore machine.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989
A Binary Single-Key-Lock System for Access Control.
IEEE Trans. Computers, 1989

Modeling a Real-Time Multitasking System in a Timed PQ Net.
IEEE Softw., 1989

Software inthe Far East - Guest Editors' Introduction.
IEEE Softw., 1989

1988
A specification language for real-time distributed systems.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

A knowledge-based system approach to the development of a system functional requirement specification processor.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1986
A Slicing Algorithm of Concurrency Modeling Based on Petri Nets.
Proceedings of the International Conference on Parallel Processing, 1986


  Loading...