Changjun Jiang

According to our database1, Changjun Jiang authored at least 233 papers between 1995 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
A Correlation-Aware Page-Level FTL to Exploit Semantic Links in Workloads.
IEEE Trans. Parallel Distrib. Syst., 2019

Deadline-Aware MapReduce Job Scheduling with Dynamic Resource Availability.
IEEE Trans. Parallel Distrib. Syst., 2019

Correlated Matrix Factorization for Recommendation with Implicit Feedback.
IEEE Trans. Knowl. Data Eng., 2019

LORI: A Learning-to-Rank-Based Integration Method of Location Recommendation.
IEEE Trans. Comput. Social Systems, 2019

APP: Augmented Proactive Perception for Driving Hazards with Sparse GPS Trace.
Proceedings of the Twentieth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2019

A Petri-net-based Method For Detecting Bugs in Multiple Threads.
Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

2018
A Novel Method on Information Recommendation via Hybrid Similarity.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reduction.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Adaptive Scheduling Parallel Jobs with Dynamic Batching in Spark Streaming.
IEEE Trans. Parallel Distrib. Syst., 2018

Energy Efficiency Aware Task Assignment with DVFS in Heterogeneous Hadoop Clusters.
IEEE Trans. Parallel Distrib. Syst., 2018

MPTR: A Maximal-Marginal-Relevance-Based Personalized Trip Recommendation Method.
IEEE Trans. Intelligent Transportation Systems, 2018

Schema Theory-Based Data Engineering in Gene Expression Programming for Big Data Analytics.
IEEE Trans. Evolutionary Computation, 2018

Transaction Fraud Detection Based on Total Order Relation and Behavior Diversity.
IEEE Trans. Comput. Social Systems, 2018

Time-Soundness of Time Petri Nets Modelling Time-Critical Systems.
TCPS, 2018

SDCoR: Software Defined Cognitive Routing for Internet of Vehicles.
IEEE Internet of Things Journal, 2018

Credit Card Fraud Detection: A Novel Approach Using Aggregation Strategy and Feedback Mechanism.
IEEE Internet of Things Journal, 2018

Objectives and State-of-the-Art of Location-Based Social Network Recommender Systems.
ACM Comput. Surv., 2018

Semantic enhanced deep learning for image classification.
Concurrency and Computation: Practice and Experience, 2018

Semantic enhanced deep learning for image classification.
Concurrency and Computation: Practice and Experience, 2018

A genetic algorithm enhanced automatic data flow management solution for facilitating data intensive applications in the cloud.
Concurrency and Computation: Practice and Experience, 2018

Centron: Cooperative neighbor discovery in mobile Ad-hoc networks.
Computer Networks, 2018

Wireless Vehicular Check-in Protocol at Urban Road Intersection.
IEEE Access, 2018

A Process-Profile-Based Method to Measure Consistency of E-Commerce System.
IEEE Access, 2018

Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints.
IEEE Access, 2018

Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints.
IEEE Access, 2018

Credit Card Fraud Detection via Kernel-Based Supervised Hashing.
Proceedings of the 2018 IEEE SmartWorld, 2018

A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Credit Card Fraud Detection Using Capsule Network.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Improving Utilization and Parallelism of Hadoop Cluster by Elastic Containers.
Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

A new credit card fraud detecting method based on behavior certificate.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

An approach to class imbalance problem based on stacking and inverse random under sampling methods.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Random forest for credit card fraud detection.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Application of SIRUS in Credit Card Fraud Detection.
Proceedings of the Computational Data and Social Networks - 7th International Conference, 2018

2017
Exploiting Traveling Information for Data Forwarding in Community-Characterized Vehicular Networks.
IEEE Trans. Vehicular Technology, 2017

Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Robust Learning to Rank Based on Portfolio Theory and AMOSA Algorithm.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Moving Hadoop into the Cloud with Flexible Slot Management and Speculative Execution.
IEEE Trans. Parallel Distrib. Syst., 2017

Improving Performance of Heterogeneous MapReduce Clusters with Adaptive Task Tuning.
IEEE Trans. Parallel Distrib. Syst., 2017

Improved Rule Installation for Real-Time Query Service in Software-Defined Internet of Vehicles.
IEEE Trans. Intelligent Transportation Systems, 2017

User Association for Load Balancing in Vehicular Networks: An Online Reinforcement Learning Approach.
IEEE Trans. Intelligent Transportation Systems, 2017

Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets.
IEEE Trans. Industrial Informatics, 2017

Petri Net Models and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing.
ACM Trans. Embedded Comput. Syst., 2017

Cross-Platform Resource Scheduling for Spark and MapReduce on YARN.
IEEE Trans. Computers, 2017

Re-identification of Vehicular Location-Based Metadata.
ICST Trans. Security Safety, 2017

Resource Allocation Strategy in Fog Computing Based on Priced Timed Petri Nets.
IEEE Internet of Things Journal, 2017

RTS: road topology-based scheme for traffic condition estimation via vehicular crowdsensing.
Concurrency and Computation: Practice and Experience, 2017

Observable liveness of Petri nets with controllable and observable transitions.
SCIENCE CHINA Information Sciences, 2017

Modeling Data Correlations in Recommendation.
IEEE Access, 2017

Mining Coherent Topics With Pre-Learned Interest Knowledge in Twitter.
IEEE Access, 2017

Modeling Document Networks with Tree-Averaged Copula Regularization.
Proceedings of the Tenth ACM International Conference on Web Search and Data Mining, 2017

Multi-perspective Hierarchical Dirichlet Process for Geographical Topic Modeling.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

On Complementary Effect of Blended Behavioral Analysis for Identity Theft Detection in Mobile Social Networks.
Proceedings of the Mobile Ad-hoc and Sensor Networks - 13th International Conference, 2017

DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Network-Adaptive Scheduling of Data-Intensive Parallel Jobs with Dependencies in Clusters.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Incorporating the Latent Link Categories in Relational Topic Modeling.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

FLEP: Enabling Flexible and Efficient Preemption on GPUs.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016
Topic-Oriented Exploratory Search Based on an Indexing Network.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2016

Satellite Objects Extraction and Classification Based on Similarity Measure.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2016

Performance Evaluation of Transactional Composite Web Services.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2016

A Multilevel Index Model to Expedite Web Service Discovery and Composition in Large-Scale Service Repositories.
IEEE Trans. Services Computing, 2016

Automatic Web Service Composition Based on Uncertainty Execution Effects.
IEEE Trans. Services Computing, 2016

Autonomic Performance and Power Control for Co-Located Web Applications in Virtualized Datacenters.
IEEE Trans. Parallel Distrib. Syst., 2016

Hadoop Performance Modeling for Job Estimation and Resource Provisioning.
IEEE Trans. Parallel Distrib. Syst., 2016

Elastic Power-Aware Resource Provisioning of Heterogeneous Workloads in Self-Sustainable Datacenters.
IEEE Trans. Computers, 2016

Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns.
IEEE Trans. Automation Science and Engineering, 2016

Online Adaptive Anomaly Detection for Augmented Network Flows.
TAAS, 2016

Behavioral Equivalence of Security-Oriented Interactive Systems.
IEICE Transactions, 2016

A Hybrid Vigilance Monitoring Study for Mental Fatigue and Its Neural Activities.
Cognitive Computation, 2016

Integration of Link and Semantic Relations for Information Recommendation.
Computing and Informatics, 2016

A Branching-Process-Based Method to Check Soundness of Workflow Systems.
IEEE Access, 2016

Modeling and Vulnerable Points Analysis for E-commerce Transaction System with a Known Attack.
Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2016

Computation of Secure Consistency for Real Systems.
Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2016

Unique on the Road: Re-identification of Vehicular Location-Based Metadata.
Proceedings of the Security and Privacy in Communication Networks, 2016

Modeling Interest-Driven Data Dissemination in Online Social Networks.
Proceedings of the 12th International Conference on Mobile Ad-Hoc and Sensor Networks, 2016

Analysis on magnetization rotational process in exchange-bias bilayers with rotational magnetization curve approach.
Proceedings of the 3rd International Conference on Systems and Informatics, 2016

Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations.
Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

Collaborative tensor factorization and its application in POI recommendation.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Petri net based model checking for the collaborative-ness of multiple processes systems.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Authenticating Web User's Identity through Browsing Sequences Modeling.
Proceedings of the IEEE International Conference on Data Mining Workshops, 2016

Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

A hybrid method of recommending POIs based on context and personal preference confidence.
Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, 2016

2015
Space-Crossing: Community-Based Data Forwarding in Mobile Social Networks Under the Hybrid Communication Architecture.
IEEE Trans. Wireless Communications, 2015

Co-NP-Hardness of the Soundness Problem for Asymmetric-Choice Workflow Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

A Transaction and QoS-Aware Service Selection Approach Based on Genetic Algorithm.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

Capacity Scaling of Wireless Social Networks.
IEEE Trans. Parallel Distrib. Syst., 2015

LASS: Local-Activity and Social-Similarity Based Data Forwarding in Mobile Social Networks.
IEEE Trans. Parallel Distrib. Syst., 2015

Composite Particle Swarm Optimizer With Historical Memory for Function Optimization.
IEEE Trans. Cybernetics, 2015

An Adaptive Multilevel Indexing Method for Disaster Service Discovery.
IEEE Trans. Computers, 2015

Self-Tuning Batching with DVFS for Performance Improvement and Energy Efficiency in Internet Servers.
TAAS, 2015

Introduction Special Section of ICCCN 2014 Conference.
Computer Communications, 2015

Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets.
SCIENCE CHINA Information Sciences, 2015

Identifying cancer-related microRNAs based on gene expression data.
Bioinformatics, 2015

ERUPT: A Role-based Neighbor Discovery Protocol for Mobile Social Applications.
Ad Hoc & Sensor Wireless Networks, 2015

Scaling Laws of Social-Broadcast Capacity for Mobile Ad Hoc Social Networks.
Proceedings of the 12th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2015

Resource and Deadline-Aware Job Scheduling in Dynamic Hadoop Clusters.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

Traffic condition estimation using vehicular crowdsensing data.
Proceedings of the 34th IEEE International Performance Computing and Communications Conference, 2015

StoreApp: A shared storage appliance for efficient and scalable virtualized Hadoop clusters.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Towards Energy Efficiency in Heterogeneous Hadoop Clusters by Adaptive Task Assignment.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Secure Bisimulation for Interactive Systems.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Adopting WirelessHART for In-vehicle-Networking.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Discovering Canonical Correlations between Topical and Topological Information in Document Networks.
Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

Preface.
Proceedings of the 10th International Conference on Communications and Networking in China, 2015

Swarm intelligence to coordinate decentralized learning automata in identical payoff games.
Proceedings of the IEEE Congress on Evolutionary Computation, 2015

2014
Modeling and Validating E-Commerce Business Process Based on Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Constraint-Aware Approach to Web Service Composition.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

An Indexing Network: Model and Applications.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Automated and Agile Server ParameterTuning by Coordinated Learning and Control.
IEEE Trans. Parallel Distrib. Syst., 2014

The Impact of Rate Adaptation on Capacity-Delay Tradeoffs in Mobile Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2014

Aggregation Capacity of Wireless Sensor Networks: Extended Network Case.
IEEE Trans. Computers, 2014

Autonomic Performance and Power Control on Virtualized Servers: Survey, Practices, and Trends.
J. Comput. Sci. Technol., 2014

Automated web service composition supporting conditional branch structures.
Enterprise IS, 2014

Special section of ICCCN 2013 Conference.
Computer Communications, 2014

Team of Bayesian optimization algorithms to solve task assignment problems in heterogeneous computing systems.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

FlexSlot: Moving Hadoop Into the Cloud with Flexible Slot Management.
Proceedings of the International Conference for High Performance Computing, 2014

Modeling data dissemination in online social networks: a geographical perspective on bounding network traffic load.
Proceedings of the Fifteenth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2014

Heterogeneity-Aware Workload Placement and Migration in Distributed Sustainable Datacenters.
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

Improving data forwarding in Mobile Social Networks with infrastructure support: A space-crossing community approach.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2013
Asymptotic throughput for large-scale wireless networks with general node density.
Wireless Networks, 2013

Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Interactive Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Scaling Laws of Cognitive Ad Hoc Networks over General Primary Network Models.
IEEE Trans. Parallel Distrib. Syst., 2013

Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement.
ACM Trans. Embedded Comput. Syst., 2013

A Novel Method for Calculating Service Reputation.
IEEE Trans. Automation Science and Engineering, 2013

RESIDUE-WEIGHTED NUMBER CONVERSION FOR MODULI SET {2n-1, 2n + 1, 22n + 1, 2n} USING SIGNED-DIGIT NUMBER.
Journal of Circuits, Systems, and Computers, 2013

The Liveness of WS3PR: Complexity and Decision.
IEICE Transactions, 2013

Multicast capacity scaling for inhomogeneous mobile ad hoc networks.
Ad Hoc Networks, 2013

An Indexing Network Model for Information Services and Its Applications.
Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

2012
Process Nets With Channels.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

SelectCast: Scalable Data Aggregation Scheme in Wireless Sensor Networks.
IEEE Trans. Parallel Distrib. Syst., 2012

Multicast Capacity Scaling Laws for Multihop Cognitive Networks.
IEEE Trans. Mob. Comput., 2012

Scaling Laws of Multicast Capacity for Power-Constrained Wireless Networks under Gaussian Channel Model.
IEEE Trans. Computers, 2012

Residue-weighted number conversion for moduli set {22n - 1, 22n+1 - 1, 2n} using signed-digit number.
Proceedings of the 10th IEEE International NEWCAS Conference, 2012

Capacity and delay tradeoffs in mobile networks under Gaussian channel model.
Proceedings of the 9th IEEE International Conference on Mobile Ad-Hoc and Sensor Systems, 2012

A Relational Taxonomy of Services for Large Scale Service Repositories.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

2011
Multicast Throughput for Hybrid Wireless Networks under Gaussian Channel Model.
IEEE Trans. Mob. Comput., 2011

Automatic Web service composition based on Horn clauses and Petri nets.
Expert Syst. Appl., 2011

The trustworthiness analyzing of interacting business process based on the induction information.
Comput. Sci. Inf. Syst., 2011

On multicast throughput scaling of hybrid wireless networks with general node density.
Computer Networks, 2011

A Necessary and Sufficient Condition for the Liveness of Normal Nets.
Comput. J., 2011

Reader Activation Scheduling in Multi-reader RFID Systems: A Study of General Case.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

SelectCast: Scalable data aggregation scheme in wireless sensor networks.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

General capacity scaling of wireless networks.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

Aggregation capacity of wireless sensor networks: Extended network case.
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

Web Service Composition Techniques in a Health Care Service Platform.
Proceedings of the IEEE International Conference on Web Services, 2011

Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2011

2010
Lower bounds on lifetime of ultra wide band wireless sensor networks.
Wireless Networks, 2010

Multicast throughput for large scale cognitive networks.
Wireless Networks, 2010

Multicast capacity and delay trade-offs in ad hoc networks with random iid mobility model.
Wireless Communications and Mobile Computing, 2010

Two Simple Deadlock Prevention Policies for S3PR Based on Key-Resource/Operation-Place Pairs.
IEEE Trans. Automation Science and Engineering, 2010

Capacity and delay in mobile ad hoc networks under Gaussian channel model.
Mobile Computing and Communications Review, 2010

Progressive Ranking and Composition of Web Services with Interaction Relationship.
JSW, 2010

Service and Management Oriented Traffic Information Grid.
IJDST, 2010

Behavior-aware Trustworthiness Study of Networked Software.
Int. J. Comput. Intell. Syst., 2010

Improved asymptotic multicast throughput for random extended networks.
Computer Communications, 2010

An Approach to Predict Performance of Component-based Software with the Palladio Component Model and Stochastic Well-formed Nets.
AISS, 2010

Multicast capacity scaling for cognitive networks: General extended primary network.
Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

DREAM: On the reaction delay in large scale wireless networks with mobile sensors.
Proceedings of the 18th International Workshop on Quality of Service, 2010

2009
A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2009

A fast adaptive load balancing method for parallel particle-based simulations.
Simulation Modelling Practice and Theory, 2009

Incidence Matrix Based Methods for Computing Repetitive Vectors and Siphons of Petri Net.
J. Inf. Sci. Eng., 2009

Modeling and monitoring of E-commerce workflows.
Inf. Sci., 2009

On conditions for the liveness of weakly persistent nets.
Inf. Process. Lett., 2009

Analysis of workflow dynamic changes based on Petri net.
Information & Software Technology, 2009

Grid resource management policies for load-balancing and energy-saving by vacation queuing theory.
Computers & Electrical Engineering, 2009

An Efficient Approach to Web Service Selection.
Proceedings of the Web Information Systems and Mining, International Conference, 2009

Achievable multicast throughput for homogeneous wireless ad hoc networks.
Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

Multicast Capacity of Multihop Cognitive Networks.
Proceedings of the IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, 2009

Scaling Laws on Multicast Capacity of Large Scale Wireless Networks.
Proceedings of the INFOCOM 2009. 28th IEEE International Conference on Computer Communications, 2009

Multicast Throughput of Hybrid Wireless Networks Under Gaussian Channel Model.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Independent global constraints for web service composition based on GA and APN.
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, 2009

Ant colony optimization for precedence-constrained heterogeneous multiprocessor assignment problem.
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, 2009

Backward Planning: A Simple and Efficient Method to Improve the Performance of List Scheduling Algorithms.
Proceedings of the Fourth ChinaGrid Annual Conference, ChinaGrid 2009, Yantai, Shandong, 2009

2008
A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2008

Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2008

VGITS: ITS based on intervehicle communication networks and grid technology.
J. Network and Computer Applications, 2008

An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service.
J. Inf. Sci. Eng., 2008

Bounds on lifetime of cluster-based ultra-wide band wireless sensor network.
IJAHUC, 2008

A Novel Discrete Particle Swarm Optimization Algorithm for Job Scheduling in Grids.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Priority Based Transaction Scheduling Model and Concurrency Control in Grid Database.
Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

2007
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2007

Modeling and Analysis of Semantic Web Services with Petri Nets.
Proceedings of the Third International Conference on Semantics, 2007

Dynamic scheduling for dedicated grid and task scheduling with reliable communication for non-dedicated grid.
Proceedings of the CHINA HPC 2007, 2007

Connectivity of mobile ad hoc sensor networks for vehicles.
Proceedings of the 2nf International Conference on Scalable Information Systems, 2007

Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Autonomic Workflow Management in the Grid.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

A Framework for Designing Grid Workflow System based on Ontology.
Proceedings of the Grid and Cooperative Computing, 2007

AS2M4SoC: An Autonomic Service Scheduling Model and Strategy for SoC Based on Evidence Theory.
Proceedings of the Grid and Cooperative Computing, 2007

Modeling and Analysis for Grid Service Cooperative Scheduling Based on Petri Nets.
Proceedings of the Cooperative Design, 2007

Research on Dynamic Load Balancing Algorithms for Parallel Transportation Simulations.
Proceedings of the Advanced Parallel Processing Technologies, 7th International Symposium, 2007

2006
A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid.
J. Comput. Sci. Technol., 2006

Service Discovery Framework Using Fuzzy Petri Net.
Journal of Computer Research and Development, 2006

ShanghaiGrid: an Information Service Grid.
Concurrency and Computation: Practice and Experience, 2006

Upper Bound on Operational Lifetime of Ultra Wide Band Sensor Network.
Proceedings of the Wireless Algorithms, 2006

Principal Component Net Analysis for Face Recognition.
Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

Performance Analysis of Workflow Model with Resource Constraints.
Proceedings of the Interdisciplinary and Multidisciplinary Research in Computer Science, 2006

Refinement of Petri Nets in Workflow Integration.
Proceedings of the Computer Supported Cooperative Work in Design III, 2006

Formal Model of Workflow Integration and its Application in STISAG.
Proceedings of the 10th International Conference on CSCW in Design, 2006

Parallel Implementing of Road Situation Modeling with Floating GPS Data.
Proceedings of the Advanced Web and Network Technologies, and Applications, 2006

Towards Building Intelligent Transportation Information Service System on Grid.
Proceedings of the Advanced Web and Network Technologies, and Applications, 2006

GAOM: Genetic Algorithm Based Ontology Matching.
Proceedings of The 1st IEEE Asia-Pacific Services Computing Conference, 2006

Using Petri Net to Reason with Rule and OWL.
Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006

2005
Urban Traffic Information Service Application Grid.
J. Comput. Sci. Technol., 2005

ShanghaiGrid in action: the first stage projects towards digital city and city grid.
IJGUC, 2005

Semantic Web Service Composition Based on OWL-S.
Proceedings of the 2005 International Conference on Semantics, 2005

An Ontology-based Public Transport Query System.
Proceedings of the 2005 International Conference on Semantics, 2005

A Heuristic Algorithm for Task Scheduling Based on Mean Load.
Proceedings of the 2005 International Conference on Semantics, 2005

Resource Scheduling Scheme for Grid Computing and Its Petri Net Model and Analysis.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

Resource scheduling model for grid computing based on sharing synthesis of Petri net.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

ShanghaiGrid: A Grid Prototype for Metropolis Information Services.
Proceedings of the Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29, 2005

Applying SOA to Intelligent Transportation System.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

ShanghaiGrid as An Information Service Grid: An Overview.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004
Object-Process Diagrams as Explicit Graphic Tool for Web Service Composition.
Transactions of the SDPS, 2004

Verifying Functions in Online Stock Trading Systems.
J. Comput. Sci. Technol., 2004

User Interest Detection on Web Pages for Building Personalized Information Agent.
Proceedings of the Advances in Web-Age Information Management: 5th International Conference, 2004

A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets.
Proceedings of the 7th International Symposium on Parallel Architectures, 2004

A Structural Approach to Recognizing Incomplete Graphic Objects.
Proceedings of the 17th International Conference on Pattern Recognition, 2004

Web Service Composition Based on BPWS-Net.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

2003
Towards a Workflow Model of Real-Time Cooperative Systems.
Proceedings of the Formal Methods and Software Engineering, 2003

The Architecture of Traffic Information Grid.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

PipeSeeU: A Scalable Peer-to-Peer Multipoint Video Conference System.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Study on Data Access Technology in Information Grid.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

ShanghaiGrid in Action: The First Stage Projects towards Digital City and City Grid.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Resource Scheduling Algorithms for Grid Computing and Its Modeling and Analysis Using Petri Net.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

2002
Behavior Relativity of Petri Nets.
J. Comput. Sci. Technol., 2002

Temporal Petri nets model of concurrent systems.
Comput. Syst. Sci. Eng., 2002

Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.
Proceedings of the Formal Methods and Software Engineering, 2002

2001
Concurrent reasoning of fuzzy logical Petri nets based on multi-task schedule.
IEEE Trans. Fuzzy Systems, 2001

Polynomial-time algorithm for the legal firing sequences problem of a type of synchronous composition Petri nets.
Science in China Series F: Information Sciences, 2001

2000
Behavior relations in synthesis process of Petri net models.
IEEE Trans. Robotics and Automation, 2000

1995
Net operations (II) - The iterated addition operation of Petri nets.
J. Comput. Sci. Technol., 1995


  Loading...