Jian Lu

According to our database1, Jian Lu authored at least 237 papers between 1995 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty.
ACM Trans. Internet Techn., 2018

AATT+: Effectively manifesting concurrency bugs in Android apps.
Sci. Comput. Program., 2018

Efficient validation of self-adaptive applications by counterexample probability maximization.
Journal of Systems and Software, 2018

SpiderWalk: Circumstance-aware Transportation Activity Detection Using a Novel Contact Vibration Sensor.
IMWUT, 2018

Guiding supervised topic modeling for content based tag recommendation.
Neurocomputing, 2018

CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software.
CoRR, 2018

NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications.
SCIENCE CHINA Information Sciences, 2018

Testing multithreaded programs via thread speed control.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

SynEva: Evaluating ML Programs by Mirror Program Synthesis.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Team Expansion in Collaborative Environments.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2018

ReScue: crafting regular expression DoS attacks.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

LESdroid: a tool for detecting exported service leaks of Android applications.
Proceedings of the 26th Conference on Program Comprehension, 2018

Response Time Aware Operator Placement for Complex Event Processing in Edge Computing.
Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

Synthesizing relation-aware entity transformation by examples.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

CARMUS: Towards a General Framework for Continuous Activity Recognition with Missing Values on Smartphones.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
Version-Aware Rating Prediction for Mobile App Recommendation.
ACM Trans. Inf. Syst., 2017

Toward a Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.
IEEE Trans. Mob. Comput., 2017

Scalable Algorithms for CQA Post Voting Prediction.
IEEE Trans. Knowl. Data Eng., 2017

RaPare: A Generic Strategy for Cold-Start Rating Prediction Problem.
IEEE Trans. Knowl. Data Eng., 2017

Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems.
IEEE Trans. Computers, 2017

On the Measurement and Prediction of Web Content Utility: A Review.
SIGKDD Explorations, 2017

How effectively can spreadsheet anomalies be detected: An empirical study.
Journal of Systems and Software, 2017

ReLog: A systematic approach for supporting efficient reprogramming in wireless sensor networks.
J. Parallel Distrib. Comput., 2017

Towards a programming framework for activity-oriented context-aware applications.
Frontiers Comput. Sci., 2017

Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
CoRR, 2017

CyanDroid: stable and effective energy inefficiency diagnosis for Android apps.
SCIENCE CHINA Information Sciences, 2017

Analyzing closeness of code dependencies for improving IR-based Traceability Recovery.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Direction-Aware, Audio-Based Pedestrian Relative Positioning by Swing Induced Doppler Shift.
Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2017

HoORaYs: High-order Optimization of Rating Distance for Recommender Systems.
Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13, 2017

RepDroid: an automated tool for Android application repackaging detection.
Proceedings of the 25th International Conference on Program Comprehension, 2017

Parallelized Mobility-Aware Complex Event Processing.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Synthesizing object transformation for dynamic software updating.
Proceedings of the 39th International Conference on Software Engineering, 2017

LeakDAF: An Automated Tool for Detecting Leaked Activities and Fragments of Android Applications.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Exploring Metadata in Bug Reports for Bug Localization.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Scalable floor localization using barometer on smartphone.
Wireless Communications and Mobile Computing, 2016

Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas.
IEEE Trans. Parallel Distrib. Syst., 2016

A Reliability-Augmented Particle Filter for Magnetic Fingerprinting Based Indoor Localization on Smartphone.
IEEE Trans. Mob. Comput., 2016

Enabling Context-Awareness by Predicate Detection in Asynchronous Environments.
IEEE Trans. Computers, 2016

SIT: Sampling-based interactive testing for self-adaptive apps.
Journal of Systems and Software, 2016

Suppressing detection of inconsistency hazards with pattern learning.
Information & Software Technology, 2016

Hybrid CPU-GPU constraint checking: Towards efficient context consistency.
Information & Software Technology, 2016

Online shared memory dependence reduction via bisectional coordination.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Crash consistency validation made easy.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

An Audio-based Hierarchical Smoking Behavior Detection System Based on A Smart Neckband Platform.
Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, 2016

Automatic runtime recovery via error handler synthesis.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

E-greenDroid: effective energy inefficiency analysis for android applications.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Tag2Word: Using Tags to Generate Words for Content Based Tag Recommendation.
Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

CURE: Automated Patch Generation for Dynamic Software Update.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Testing Android Apps via Guided Gesture Event Generation.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Effectively Manifesting Concurrency Bugs in Android Apps.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Improving Reliability of Dynamic Software Updating Using Runtime Recovery.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Internetware - A New Software Paradigm for Internet Computing
Springer, ISBN: 978-981-10-2545-7, 2016

2015
Target-Aware, Transmission Power-Adaptive, and Collision-Free Data Dissemination in Wireless Sensor Networks.
IEEE Trans. Wireless Communications, 2015

Cina: Suppressing the Detection of Unstable Context Inconsistency.
IEEE Trans. Software Eng., 2015

Can method data dependencies support the assessment of traceability between requirements and source code?
Journal of Software: Evolution and Process, 2015

Infrastructure-Free Floor Localization Through Crowdsourcing.
J. Comput. Sci. Technol., 2015

Detecting high-quality posts in community question answering sites.
Inf. Sci., 2015

Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime.
CoRR, 2015

Almost Strong Consistency: "Good Enough" in Distributed Storage Systems.
CoRR, 2015

Editor's Note.
SCIENCE CHINA Information Sciences, 2015

Programming Method and Formalization for Activity-Oriented Context-Aware Applications.
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015

RIT: Enhancing Recommendation with Inferred Trust.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2015

Optimistic Shared Memory Dependence Tracing (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

ReCEC: Resolving Conflicts of Environmental Constraints among Multiple Applications in a Smart Space.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Concolic Metamorphic Debugging.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

ConRec: A Software Framework for Context-Aware Recommendation Based on Dynamic and Personalized Context.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

MATAR: Keywords Enhanced Multi-label Learning for Tag Recommendation.
Proceedings of the Web Technologies and Applications - 17th Asia-PacificWeb Conference, 2015

Personalized QoS Prediction via Matrix Factorization Integrated with Neighborhood Information.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

Efficient Computing Composite Service Skyline with QoS Correlations.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
Subgraph Extraction for Trust Inference in Social Networks.
Encyclopedia of Social Network Analysis and Mining, 2014

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications.
IEEE Trans. Software Eng., 2014

Design of a Sliding Window over Distributed and Asynchronous Event Streams.
IEEE Trans. Parallel Distrib. Syst., 2014

Multi-Aspect + Transitivity + Bias: An Integral Trust Inference Model.
IEEE Trans. Knowl. Data Eng., 2014

Complete Bipartite Anonymity for Location Privacy.
J. Comput. Sci. Technol., 2014

Low-disruptive dynamic updating of Java applications.
Information & Software Technology, 2014

Crowdsourced smartphone sensing for localization in metro trains.
Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

Handling Influence among Multiple Applications in a Smart Space.
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014

Exploring Review Content for Recommendation via Latent Factor Model.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

SBC: scalable smartphone barometer calibration through crowdsourcing.
Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, 2014

B-Loc: Scalable Floor Localization Using Barometer on Smartphone.
Proceedings of the 11th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2014

Predicting long-term impact of CQA posts: a comprehensive viewpoint.
Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014

Verifying self-adaptive applications suffering uncertainty.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

CARE: cache guided deterministic replay for concurrent Java programs.
Proceedings of the 36th International Conference on Software Engineering, 2014

F-Loc: Floor localization via crowdsourcing.
Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014

MaLoc: a practical magnetic fingerprinting approach to indoor localization using smartphones.
Proceedings of the 2014 ACM Conference on Ubiquitous Computing, UbiComp '14, Seattle, WA, 2014

Dual-Regularized One-Class Collaborative Filtering.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

Prediction of protein function by combining phylogenetic tree and mathematical inference.
Proceedings of the 7th International Conference on Biomedical Engineering and Informatics, 2014

Joint voting prediction for questions and answers in CQA.
Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014

GAIN: GPU-Based Constraint Checking for Context Consistency.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

User Guided Automation for Testing Mobile Apps.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Supporting groupware communication with topology-enhanced content-based network.
Proceedings of the 16th Asia-Pacific Network Operations and Management Symposium, 2014

2013
Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments.
IEEE Trans. Parallel Distrib. Syst., 2013

Pairwise trust inference by subgraph extraction.
Social Netw. Analys. Mining, 2013

Application mobility in pervasive computing: A survey.
Pervasive and Mobile Computing, 2013

Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty.
J. Comput. Sci. Technol., 2013

Detecting Faults in Context-Aware Adaptation.
Int. J. Software and Informatics, 2013

Verifying PRAM Consistency over Read/Write Traces of Data Replicas
CoRR, 2013

Want a Good Answer? Ask a Good Question First!
CoRR, 2013

Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments.
CoRR, 2013

SelfTrust: leveraging self-assessment for trust inference in Internetware.
SCIENCE CHINA Information Sciences, 2013

Towards context consistency by concurrent checking for Internetware applications.
SCIENCE CHINA Information Sciences, 2013

Toward a seamless adaptation platform for Internetware.
SCIENCE CHINA Information Sciences, 2013

MATRI: a multi-aspect and transitive trust inference model.
Proceedings of the 22nd International World Wide Web Conference, 2013

WeCare: An Intelligent Badge for Elderly Danger Detection and Alert.
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

JointCache: Collaborative path confusion through lightweight P2P communication.
Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

A Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Environment rematching: Toward dependability improvement for self-adaptive applications.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Challenges in developing software for cyber-physical systems.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Enhancing trustworthiness evaluation in internetware with similarity and non-negative constraints.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Presence-pattern aware service selection and composition in a smart space.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Managing Environment and Adaptation Risks for the Internetware Paradigm.
Proceedings of the Theories of Programming and Formal Methods, 2013

Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Supporting Flexibility of the CMMI Process Framework with a Multi-layered Process Model.
Proceedings of the 2013 10th Web Information System and Application Conference, 2013

Public-View and Object Petri Net Based Modeling of Cross-Organizational Process.
Proceedings of the 2013 10th Web Information System and Application Conference, 2013

Mining Emerging Patterns for Activity Recognition.
Proceedings of the Contrast Data Mining: Concepts, Algorithms, and Applications, 2013

2012
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments.
IEEE Trans. Parallel Distrib. Syst., 2012

Environmental Modeling for Automated Cloud Application Testing.
IEEE Software, 2012

A hierarchical approach to real-time activity recognition in body sensor networks.
Pervasive and Mobile Computing, 2012

Adam: Identifying defects in context-aware adaptation.
Journal of Systems and Software, 2012

MaTrust: An Effective Multi-Aspect Trust Inference Model
CoRR, 2012

FTrack: Infrastructure-free floor localization via mobile phone sensing.
Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communications, 2012

Formal specification and runtime detection of temporal properties for asynchronous context.
Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communications, 2012

Dynamic fault detection in context-aware adaptation.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

A group recommendation approach for service selection.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Do data dependencies in source code complement call dependencies for understanding requirements traceability?
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Enriching Context-Oriented Programming with Structured Context Representation.
Proceedings of the Pervasive Computing and the Networked World, 2012

Complete Bipartite Anonymity: Confusing Anonymous Mobility Traces for Location Privacy.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

ConsView: Towards Application-Specific Consistent Context Views.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Subgraph Extraction for Trust Inference in Social Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

Resynchronizing Model-Based Self-Adaptive Systems with Environments.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Javelus: A Low Disruptive Approach to Dynamic Software Updates.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Recognizing Multiuser Activities Using Wireless Body Sensor Networks.
IEEE Trans. Mob. Comput., 2011

A Pattern Mining Approach to Sensor-Based Human Activity Recognition.
IEEE Trans. Knowl. Data Eng., 2011

Recognizing multi-user activities using wearable sensors in a smart home.
Pervasive and Mobile Computing, 2011

Design of a Sliding Window over Asynchronous Event Streams
CoRR, 2011

Comparing Linkage Graph and Activity Graph of Online Social Networks.
Proceedings of the Social Informatics - Third International Conference, SocInfo 2011, 2011

Version-consistent dynamic reconfiguration of component-based distributed systems.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2011

Refactoring and Publishing WS-BPEL Processes to Obtain More Partners.
Proceedings of the IEEE International Conference on Web Services, 2011

Fuzzy Control-Based Software Self-Adaptation: A Case Study in Mission Critical Systems.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Cooperative cache consistency maintenance for pervasive internet access.
Wireless Communications and Mobile Computing, 2010

Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks.
IEEE Trans. Parallel Distrib. Syst., 2010

An Internetware Based Approach to Building Web Page Integration Applications for Mobile Devices.
Int. J. Software and Informatics, 2010

Modeling the Value-Based Software Process with Object-Petri-Nets.
Int. J. Software and Informatics, 2010

Toward an agent-based pluggable infrastructure for context-awareness.
Int. J. Pervasive Computing and Communications, 2010

An unsupervised approach to activity recognition and segmentation based on object-use fingerprints.
Data Knowl. Eng., 2010

Real-Time Activity Recognition in Wireless Body Sensor Networks: From Simple Gestures to Complex Activities.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Mining Emerging Sequential Patterns for Activity Recognition in Body Sensor Networks.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

Toward a fuzzy control-based approach to design of self-adaptive software.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

An internetware based approach to building web page integration applications for mobile devices.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Privacy Protection in Participatory Sensing Applications Requiring Fine-Grained Locations.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Preserving Data Flow Correctness in Process Adaptation.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009
Preface.
Int. J. Software and Informatics, 2009

Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments
CoRR, 2009

Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing Efficiency.
Proceedings of the Visual Information Communication, 2009

A Broker-Assisting Trust and Reputation System Based on Artificial Neural Network.
Proceedings of the IEEE International Conference on Systems, 2009

Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.
Proceedings of the Ninth International Conference on Quality Software, 2009

Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context.
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

epSICAR: An Emerging Patterns based Approach to Sequential, Interleaved and Concurrent Activity Recognition.
Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

Mining Emerging Patterns for recognizing activities of multiple users in pervasive computing.
Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2009

Mining Emerging Patterns for recognizing activities of multiple users in pervasive computing.
Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2009

ARTEMIS: an open coordination middleware system.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

A dynamic trust network based simulation framework for reputation-based service selection.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Internetware: a shift of software paradigm.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Sensor-Based Human Activity Recognition in a Multi-user Scenario.
Proceedings of the Ambient Intelligence, 2009

A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

Service Discovery and Substitution According to Inheritance of Behavior with Invariant Analysis.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008
Applying Value-Based Software Process: An ERP Example.
Int. J. Software and Informatics, 2008

A model for context-aware applications.
Int. J. Pervasive Computing and Communications, 2008

A Petri net-based approach for supporting aspect-oriented modeling.
Frontiers Comput. Sci. China, 2008

Technical framework for Internetware: An architecture centric approach.
Science in China Series F: Information Sciences, 2008

Multi-mode interaction middleware for software services.
Science in China Series F: Information Sciences, 2008

On environment-driven software model for Internetware.
Science in China Series F: Information Sciences, 2008

Cluster filtered KNN: A WLAN-based indoor positioning scheme.
Proceedings of the 9th IEEE International Symposium on a World of Wireless, 2008

A Bayesian Network Based Approach for Change Coupling Prediction.
Proceedings of the WCRE 2008, 2008

Applying a Component Behavior Model to MVC Pattern.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Toward a Model-Based Approach to Dynamic Adaptation of Composite Services.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

A Probabilistic Approach to Consistency Checking for Pervasive Context.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

Order Constraints for Multi-view Software Process Model.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Expectation, experiment and reflection on internet software evolution.
ACM SIGSOFT Software Engineering Notes, 2007

A Middleware Approach for Behavior Consistent Composition of Services in Smart Space.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Constructing Self-Adaptive Systems with Polymorphic Software Architecture.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Applying ontology in architecture-based self-management applications.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Application Based Distance Measurement for Context Retrieval in Ubiquitous Computing.
Proceedings of the 4th Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2007), 2007

A Mutual Exclusion Algorithm for Mobile Agents-Based Applications.
Proceedings of the Parallel and Distributed Processing and Applications, 2007

A Middleware Support for Agent-Based Application Mobility in Pervasive Environments.
Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007

A Transaction Model for Context-Aware Applications.
Proceedings of the Advances in Grid and Pervasive Computing, 2007

A Trust Evolution Model for P2P Networks.
Proceedings of the Autonomic and Trusted Computing, 4th International Conference, 2007

Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

An Approach to Model Cross-organizational Processes using Object Petri net.
Proceedings of the 2007 IEEE International Conference on Services Computing, 2007

2006
Establishing recommendation trust relationships for internetwares.
ACM SIGSOFT Software Engineering Notes, 2006

Path-history-based access control for mobile agents.
IJPEDS, 2006

Mobile Agent Enabled Application Mobility for Pervasive Computing.
Proceedings of the Ubiquitous Intelligence and Computing, Third International Conference, 2006

Toward Context-Awareness: A Workflow Embedded Middleware.
Proceedings of the Ubiquitous Intelligence and Computing, Third International Conference, 2006

Managing Quality of Context in Pervasive Computing.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Rewards-based negotiation for providing context information.
Proceedings of the 4th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2006), held at the ACM/IFIP/USENIX 7th International Middleware Conference, November 27, 2006

Tailor the Value-Based Software Quality Achievement Process to Project Business Cases.
Proceedings of the Software Process Change, 2006

Modeling Multi-View Software Process with Object Petri Nets.
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Applying the Value/Petri process to ERP software development in China.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Shadow: A Middleware in Pervasive Computing Environment for User Controllable Privacy Protection.
Proceedings of the Smart Sensing and Context, First European Conference, EuroSSC 2006, 2006

Context Consistency Management Using Ontology Based Model.
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

Invariant Analysis for the Task Refinement of Workflow Nets.
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

Toward Trust Management in Autonomic and Coordination Applications.
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

FollowMe: On Research of Pluggable Infrastructure for Context-Awareness.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005
One-dimensional I test and direction vector I test with array references by induction variable.
IJHPCN, 2005

Translation of Nets Within Nets in Cross-organizational Software Process Modeling.
Proceedings of the Unifying the Software Process Spectrum, 2005

Supporting Wireless Web Page Access in Mobile Environments Using Mobile Agents.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

A Path-History-Sensitive Access Control Model for Mobile Agent Environment.
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

An Efficient Scheme for Fault-Tolerant Web Page Access in Wireless Mobile Environment Based on Mobile Agents.
Proceedings of the High Performance Computing and Communications, 2005

An Enhanced Ontology Based Context Model and Fusion Mechanism.
Proceedings of the Embedded and Ubiquitous Computing, 2005

An Approach to Ensure Service Behavior Consistency in OSGi.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Dynamic Software Architecture Oriented Service Composition and Evolution.
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2004
Reliable message delivery for mobile agents: push or pull?
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2004

Some research on componentware frameworks based on mobile agent technology.
ACM SIGSOFT Software Engineering Notes, 2004

A Mobile Agent Enabled Approach for Distributed Deadlock Detection.
Proceedings of the Grid and Cooperative Computing, 2004

2003
Architecting and implementing distributed Web applications using the graph-oriented approach.
Softw., Pract. Exper., 2003

A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002
Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols.
IEEE Computer, 2002

A mobile-agent-based approach to software coordination in the HOOPE system.
Science in China Series F: Information Sciences, 2002

WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications.
Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002

Reliable Message Delivery for Mobile Agents: Push or Pull.
Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

Design of Adaptive and Reliable Mobile Agent Communication Protocols.
ICDCS, 2002

2001
An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems.
Proceedings of the Mobile Agents, 5th International Conference, 2001

2000
A hierarchical framework: for parallel seismic applications.
Commun. ACM, 2000

1999
SEIS++: A Pattern Language for Seismic Tools Construction and Integration.
SIGPLAN Notices, 1999

Framework-Based Software Reuse for Interactive Seismic Processing Applications.
Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999

1995
Introducting Data Decomposition into VDM for Tractable Development of Programs.
SIGPLAN Notices, 1995


  Loading...