Jian Lu
Affiliations:- Nanjing University, Department of Computer Science and Technology / State Key Laboratory for Novel Software Technology, China
According to our database1,
Jian Lu
authored at least 305 papers
between 1993 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
IEEE Trans. Comput. Soc. Syst., 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
Proceedings of the Eleventh International Conference on Learning Representations, 2023
Proceedings of the Eleventh International Conference on Learning Representations, 2023
2022
IEEE Trans. Knowl. Data Eng., 2022
Propagating frugal user feedback through closeness of code dependencies to improve IR-based traceability recovery.
Empir. Softw. Eng., 2022
Detecting non-crashing functional bugs in Android apps via deep-state differential analysis.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
2021
IEEE Trans. Software Eng., 2021
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores.
IEEE Trans. Parallel Distributed Syst., 2021
HKMF-T: Recover From Blackouts in Tagged Time Series With Hankel Matrix Factorization.
IEEE Trans. Knowl. Data Eng., 2021
Proceedings of the WSDM '21, 2021
2020
CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software.
IEEE Trans. Reliab., 2020
Knowl. Inf. Syst., 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
ComboDroid: generating high-quality test inputs for Android apps via use case combinations.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Dissector: input validation for deep learning applications by crossing-layer dissection.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020
2019
World Wide Web, 2019
World Wide Web, 2019
J. Comput. Lang., 2019
IEEE Pervasive Comput., 2019
CoRR, 2019
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery.
Proceedings of the 27th International Conference on Program Comprehension, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 41st International Conference on Software Engineering, 2019
Hankel Matrix Factorization for Tagged Time Series to Recover Missing Values During Blackouts.
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019
Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019
DeepIntent: Deep Icon-Behavior Learning for Detecting Intention-Behavior Discrepancy in Mobile Apps.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018
Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty.
ACM Trans. Internet Techn., 2018
Sci. Comput. Program., 2018
Efficient validation of self-adaptive applications by counterexample probability maximization.
J. Syst. Softw., 2018
SpiderWalk: Circumstance-aware Transportation Activity Detection Using a Novel Contact Vibration Sensor.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018
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.
Sci. China Inf. Sci., 2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
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
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2018
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the 26th Conference on Program Comprehension, 2018
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 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
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
Proceedings of the IEEE International Conference on Data Mining, 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
ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
Embedding Index Maintenance in Store Routines to Accelerate Secondary Index Building in HBase.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018
2017
ACM Trans. Inf. Syst., 2017
Toward a Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns.
IEEE Trans. Mob. Comput., 2017
IEEE Trans. Knowl. Data Eng., 2017
IEEE Trans. Knowl. Data Eng., 2017
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems.
IEEE Trans. Computers, 2017
SIGKDD Explor., 2017
J. Syst. Softw., 2017
ReLog: A systematic approach for supporting efficient reprogramming in wireless sensor networks.
J. Parallel Distributed Comput., 2017
Frontiers Comput. Sci., 2017
Sci. China Inf. Sci., 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
Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13, 2017
Proceedings of the 25th International Conference on Program Comprehension, 2017
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
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017
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
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017
2016
Wirel. Commun. Mob. Comput., 2016
IEEE Trans. Parallel Distributed Syst., 2016
A Reliability-Augmented Particle Filter for Magnetic Fingerprinting Based Indoor Localization on Smartphone.
IEEE Trans. Mob. Comput., 2016
IEEE Trans. Computers, 2016
J. Syst. Softw., 2016
Inf. Softw. Technol., 2016
Inf. Softw. Technol., 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
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
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016
Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
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. Wirel. Commun., 2015
IEEE Trans. Software Eng., 2015
IEEE Softw., 2015
Can method data dependencies support the assessment of traceability between requirements and source code?
J. Softw. Evol. Process., 2015
J. Comput. Sci. Technol., 2015
Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime.
CoRR, 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
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
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
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
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
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015
2014
Encyclopedia of Social Network Analysis and Mining, 2014
IEEE Trans. Software Eng., 2014
IEEE Trans. Parallel Distributed Syst., 2014
IEEE Trans. Knowl. Data Eng., 2014
Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014
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
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014
Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, 2014
Proceedings of the 11th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2014
Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
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 International Joint Conference on Pervasive and Ubiquitous Computing, 2014
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
Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
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 Distributed Syst., 2013
J. Comput. Sci. Technol., 2013
Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments.
CoRR, 2013
Sci. China Inf. Sci., 2013
Sci. China Inf. Sci., 2013
Proceedings of the 22nd International World Wide Web Conference, 2013
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
Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013
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
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
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013
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
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 Distributed Syst., 2012
Pervasive Mob. Comput., 2012
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
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012
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
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
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Proceedings of the Mobile Agents in Networking and Distributed Computing, 2012
Proceedings of the Mobile Agents in Networking and Distributed Computing, 2012
2011
IEEE Trans. Mob. Comput., 2011
IEEE Trans. Knowl. Data Eng., 2011
Pervasive Mob. Comput., 2011
Proceedings of the Social Informatics - Third International Conference, SocInfo 2011, 2011
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
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
Wirel. Commun. Mob. Comput., 2010
IEEE Trans. Parallel Distributed Syst., 2010
An Internetware Based Approach to Building Web Page Integration Applications for Mobile Devices.
Int. J. Softw. Informatics, 2010
Int. J. Softw. Informatics, 2010
Int. J. Pervasive Comput. Commun., 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
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
Proceedings of the Artificial Intelligence and Computational Intelligence, 2010
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010
2009
Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments
CoRR, 2009
Comput. Math. Appl., 2009
Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing Efficiency.
Proceedings of the Visual Information Communication, 2009
Proceedings of the IEEE International Conference on Systems, 2009
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
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
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009
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
Int. J. Softw. Informatics, 2008
Frontiers Comput. Sci. China, 2008
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration.
Proceedings of the First International Conference on Foundations of Informatics, 2008
Sci. China Ser. F Inf. Sci., 2008
Sci. China Ser. F Inf. Sci., 2008
Sci. China Ser. F Inf. Sci., 2008
Proceedings of the 9th IEEE International Symposium on a World of Wireless, 2008
Proceedings of the WCRE 2008, 2008
Proceedings of the 9th International Conference for Young Computer Scientists, 2008
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
2007
ACM SIGSOFT Softw. Eng. 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
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
Proceedings of the Parallel and Distributed Processing and Applications, 2007
Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007
Proceedings of the Advances in Grid and Pervasive Computing, 2007
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007
On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007
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
Proceedings of the 2007 IEEE International Conference on Services Computing, 2007
2006
ACM SIGSOFT Softw. Eng. Notes, 2006
Int. J. Parallel Emergent Distributed Syst., 2006
Acta Cybern., 2006
Proceedings of the Ubiquitous Intelligence and Computing, Third International Conference, 2006
Proceedings of the Ubiquitous Intelligence and Computing, Third International Conference, 2006
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006
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
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the Fuzzy Systems and Knowledge Discovery, Third International Conference, 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
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006
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
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006
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.
Int. J. High Perform. Comput. Netw., 2005
Proceedings of the 6th ACIS International Conference on Software Engineering, 2005
Proceedings of the Unifying the Software Process Spectrum, 2005
Proceedings of the Parallel and Distributed Processing and Applications, 2005
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
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005
Proceedings of the Embedded and Ubiquitous Computing, 2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005
2004
IEEE Trans. Syst. Man Cybern. Part A, 2004
ACM SIGSOFT Softw. Eng. Notes, 2004
Proceedings of Computing: The Australasian Theory Symposium, 2004
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004
Tree logic with recursion and model checking algorithm.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004
Proceedings of the Grid and Cooperative Computing, 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004
2003
Architecting and implementing distributed Web applications using the graph-oriented approach.
Softw. Pract. Exp., 2003
Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 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
J. Comput. Sci. Technol., 2002
Computer, 2002
Sci. China Ser. F Inf. Sci., 2002
WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications.
Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002
2001
Inf. Softw. Technol., 2001
Proceedings of the Mobile Agents, 5th International Conference, 2001
2000
1999
ACM SIGPLAN Notices, 1999
Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999
1998
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998
1997
A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment.
ACM SIGPLAN Notices, 1997
1996
Verification of HOS Software Specification by a Hierarchical Software Understanding Approach.
J. Syst. Softw., 1996
1995
ACM SIGPLAN Notices, 1995
1993
ACM SIGPLAN Notices, 1993