Jun Wei

According to our database1, Jun Wei authored at least 175 papers between 1998 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
An Experimental Evaluation of Garbage Collectors on Big Data Applications.
PVLDB, 2019

Feedback-based, Automated Failure Testing of Microservice-based Applications.
CoRR, 2019

An empirical study of multiple names and email addresses in OSS version control repositories.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

SemiTagRec: A Semi-supervised Learning Based Tag Recommendation Approach for Docker Repositories.
Proceedings of the Reuse in the Big Data Era, 2019

Detecting atomicity violations for event-driven Node.js applications.
Proceedings of the 41st International Conference on Software Engineering, 2019

2018
Characterizing and diagnosing out of memory errors in MapReduce applications.
Journal of Systems and Software, 2018

JSTrace: Fast reproducing web application errors.
Journal of Systems and Software, 2018

IO dependent SSD cache allocation for elastic Hadoop applications.
SCIENCE CHINA Information Sciences, 2018

Detecting faulty empty cells in spreadsheets.
Proceedings of the 25th International Conference on Software Analysis, 2018

How are spreadsheet templates used in practice: a case study on Enron.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

An empirical study on crash recovery bugs in large-scale distributed systems.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Expandable group identification in spreadsheets.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

An Approach to Identifying Error Patterns for Infrastructure as Code.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

D-Tagger: A Tag Recommendation Approach for Docker Repositories.
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Migrating Web Applications from Monolithic Structure to Microservices Architecture.
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

CrawlDroid: Effective Model-based GUI Testing of Android Apps.
Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

X-Diag: Automated Debugging Cross-Browser Issues in Web Applications.
Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Context-Based Event Trace Reduction in Client-Side JavaScript Applications.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

STAR: A Specialized Tagging Approach for Docker Repositories.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
CACheck: Detecting and Repairing Cell Arrays in Spreadsheets.
IEEE Trans. Software Eng., 2017

ReSeer: Efficient search-based replay for multiprocessor virtual machines.
Journal of Systems and Software, 2017

SpreadCluster: Recovering Versioned Spreadsheets through Similarity-Based Clustering.
CoRR, 2017

SpreadCluster: recovering versioned spreadsheets through similarity-based clustering.
Proceedings of the 14th International Conference on Mining Software Repositories, 2017

A comprehensive study on real world concurrency bugs in Node.js.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Fast and Precise recovery in Stream processing based on Distributed Cache.
Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

Application-centric SSD Cache Allocation for Hadoop Applications.
Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

AppCheck: A Crowdsourced Testing Service for Android Applications.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

A Hierarchical Categorization Approach for System Operation Services.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

A Hierarchical Categorization Approach for Configuration Management Modules.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Mining API Type Specifications for JavaScript.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
FD4C: Automatic Fault Diagnosis Framework for Web Applications in Cloud Computing.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2016

Crawling Hidden Objects with kNN Queries.
IEEE Trans. Knowl. Data Eng., 2016

Parallel Materialization of Datalog Programs with Spark for Scalable Reasoning.
Proceedings of the Web Information Systems Engineering - WISE 2016, 2016

Plogs: Materializing Datalog Programs with MapReduce for Scalable Reasoning.
Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Detecting table clones and smells in spreadsheets.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Generating test cases to expose concurrency bugs in Android applications.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

X-Check: A Novel Cross-Browser Testing Service Based on Record/Replay.
Proceedings of the IEEE International Conference on Web Services, 2016

Hug the Elephant: Migrating a Legacy Data Analytics Application to Hadoop Ecosystem.
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Detect Cross-Browser Issues for JavaScript-Based Web Applications Based on Record/Replay.
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

VEnron: a versioned spreadsheet corpus and related evolution analysis.
Proceedings of the 38th International Conference on Software Engineering, 2016

Crawling hidden objects with kNN queries.
Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

Determine Configuration Entry Correlations for Web Application Systems.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

MORE: A Model-Driven Operation Service for Cloud-Based IT Systems.
Proceedings of the IEEE International Conference on Services Computing, 2016

2015
Aggregate Estimation in Hidden Databases with Checkbox Interfaces.
IEEE Trans. Knowl. Data Eng., 2015

Cost and accuracy aware scientific workflow retrieval based on distance measure.
Inf. Sci., 2015

MERC: Match at Edge and Route intra-Cluster for Content-based Publish/Subscribe Systems.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

Experience report: A characteristic study on out of memory errors in distributed data-parallel applications.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Fast reproducing web application errors.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Towards a scalable and efficient open cloud marketplace.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Towards Web Application Mobilization via Efficient Web Control Extraction.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

A Crowdsourcing framework for Detecting Cross-Browser Issues in Web Application.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Fault detection for cloud computing systems with correlation analysis.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

Towards Scalable Publish/Subscribe Systems.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

A Lightweight Evaluation Framework for Table Layouts in MapReduce Based Query Systems.
Proceedings of the Web Technologies and Applications - 17th Asia-PacificWeb Conference, 2015

Discovering User-Defined Event Handlers in Presence of JavaScript Libraries.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Efficient Search-Based Automatic Execution Replay for Virtual Machines.
Proceedings of the Advances in Services Computing, 2015

2014
Workload-aware anomaly detection for Web applications.
Journal of Systems and Software, 2014

A Virtual Machine Placement and Reconfiguration Framework for Cloud Computing Platforms.
IJARAS, 2014

PRESC2: efficient self-reconfiguration of cache strategies for elastic caching platforms.
Computing, 2014

SmartHR: a resume query and management system based on semantic web.
Proceedings of the 1st International Workshop on Crowd-based Software Development Methods and Technologies, 2014

MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications.
Proceedings of the International Conference for High Performance Computing, 2014

Detecting Inter-Component Configuration Errors in Proactive: A Relation-Aware Method.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

Scalable Horn-Like Rule Inference of Semantic Data Using MapReduce.
Proceedings of the Knowledge Science, Engineering and Management, 2014

EasyCache: a transparent in-memory data caching approach for internetware.
Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Runtime Enforcement of Data-centric Properties for Concurrent Service-Based Applications.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Automatic Mining Data-Aware Web Services Properties.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Inferring Data Contract for Web-Based API.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation.
Proceedings of the 36th International Conference on Software Engineering, 2014

A Lightweight Virtual Machine Image Deduplication Backup Approach in Cloud Environment.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
An effective iterated greedy algorithm for reliability-oriented task allocation in distributed computing systems.
J. Parallel Distrib. Comput., 2013

A benefit-aware on-demand provisioning approach for multi-tier applications in cloud computing.
Frontiers Comput. Sci., 2013

Detecting performance anomaly with correlation analysis for Internetware.
SCIENCE CHINA Information Sciences, 2013

Migrating Load Testing to the Cloud: A Case Study.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Generating Open API Usage Rule from Error Descriptions.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Mining user daily behavior patterns from access logs of massive software and websites.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

MR-runner: a modularized map-reduce job management tool.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

VM image update notification mechanism based on pub/sub paradigm in cloud.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

A distributed rule execution mechanism based on MapReduce in sematic web reasoning.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Building an Efficient Hadoop Workflow Engine Using BPEL.
Proceedings of the Current Trends in Web Engineering, 2013

FMEM: A Fine-grained Memory Estimator for MapReduce Jobs.
Proceedings of the 10th International Conference on Autonomic Computing, 2013

Consistent Query Answering Based on Repairing Inconsistent Attributes with Nulls.
Proceedings of the Database Systems for Advanced Applications, 2013

2012
Specification and monitoring of data-centric temporal properties for service-based systems.
Journal of Systems and Software, 2012

A Two-Level Virtual Machine Self-Reconfiguration Mechanism for the Cloud Computing Platforms.
Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012

Online Anomaly Detection for Components in OSGi-based Software .
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Detect and optimize the energy consumption of mobile app through static analysis: an initial research.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Constructing a data accessing layer for in-memory data grid.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

A Goal Decomposition Approach for Automatic Mashup Development.
Proceedings of the Enterprise Interoperability - 4th International IFIP Working Conference, 2012

A Highly Concurrent Process Virtual Machine Based on Event-driven Process Execution Model.
Proceedings of the Ninth IEEE International Conference on e-Business Engineering, 2012

Elasticat: A load rebalancing framework for cloud-based key-value stores.
Proceedings of the 19th International Conference on High Performance Computing, 2012

Workload-Aware Online Anomaly Detection in Enterprise Applications with Local Outlier Factor.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Towards a Cost-Aware Data Migration Approach for Key-Value Stores.
Proceedings of the 2012 IEEE International Conference on Cluster Computing, 2012

Optimizing data migration for cloud-based key-value stores.
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

A Framework for Detecting Anomalous Services in OSGi-Based Applications.
Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

Implementing Dynamic Management for Mediated Service Interactions.
Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

Application-Level CPU Consumption Estimation: Towards Performance Isolation of Multi-tenancy Web Applications.
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

A Profit-Aware Virtual Machine Deployment Optimization Framework for Cloud Platform Providers.
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011
Stable cohesion metrics for evolving ontologies.
Journal of Software Maintenance, 2011

Checking compatibility of context-aware service protocols.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Runtime Verification of Data-Centric Properties in Service Based Systems.
Proceedings of the Runtime Verification - Second International Conference, 2011

A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms.
Proceedings of the 11th International Conference on Quality Software, 2011

Implementing Service Collaboration Based on Decentralized Mediation.
Proceedings of the 11th International Conference on Quality Software, 2011

An Automatic Performance Modeling Approach to Capacity Planning for Multi-service Web Applications.
Proceedings of the 11th International Conference on Quality Software, 2011

Runtime Monitoring of Data-centric Temporal Properties for Web Services.
Proceedings of the IEEE International Conference on Web Services, 2011

Automatic Construction of Deployment Descriptors for Web Applications.
Proceedings of the IEEE 8th International Conference on e-Business Engineering, 2011

A Statistical Approach for Estimating CPU Consumption in Shared Java Middleware Server.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

On-line Cache Strategy Reconfiguration for Elastic Caching Platform: A Machine Learning Approach.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

An Adaptive Performance Modeling Approach to Performance Profiling of Multi-service Web Applications.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Middleware Support for Internetware: A Service Perspective.
Int. J. Software and Informatics, 2010

Sequential Event Pattern Based Design of Context-Aware Adaptive Application.
Int. J. Software and Informatics, 2010

Implementing Service-Correlation Aware Service Selection.
Proceedings of the International Conference on Service Sciences, 2010

Towards Runtime Plug-and-Play Software.
Proceedings of the 10th International Conference on Quality Software, 2010

Middleware support for internetware: a service perspective.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Towards PaaS using service-oriented component model.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

A new approach to performance optimization of mashups via data flow refactoring.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

An adaptive fine-grained performance modeling approach for internetware.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Sequential event pattern based context-aware adaptation.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Detecting Data Inconsistency Failure of Composite Web Services Through Parametric Stateful Aspect.
Proceedings of the IEEE International Conference on Web Services, 2010

Component Monitoring of OSGi-Based Software.
Proceedings of the IEEE 7th International Conference on e-Business Engineering, 2010

A Two-Phase Approach to Subscription Subsumption Checking for Content-Based Publish/Subscribe Systems.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009
High Performance Approach for Server Side SOAP Processing.
Int. J. Web Service Res., 2009

Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension.
J. Comput. Sci. Technol., 2009

A study on the replaceability of context-aware middleware.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Towards self-healing web services composition.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

An Aspect-Oriented Modeling Approach to Predict Performance of JCA-Based Systems.
Proceedings of the International Conference on Interoperability for Enterprise Software and Applications China, 2009

Impacts Separation Framework for Performance Prediction of E-Business Systems.
Proceedings of the 2009 IEEE International Conference on e-Business Engineering, 2009

Impacts Separation Framework for Performance Prediction of Middleware-Based Systems.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008
Efficient Approach for Web Services Selection with Multi-QOS Constraints.
Int. J. Cooperative Inf. Syst., 2008

History Heuristic Based Negotiation of Service Level Agreements for Composite Service.
Proceedings of the Eighth International Conference on Quality Software, 2008

Developing a Concurrent Service Orchestration Engine Based on Event-Driven Architecture.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Flexible Pattern Monitoring for WS-BPEL through Stateful Aspect Extension.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Ensuring the Consistent Concurrent Execution of Service Composition under Relaxed Isolation.
Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
Automatic enactment of message exchange pattern for web services.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A QoS-Enabled WorkManager Model for Web Application Servers.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

AOP Based Trustable SLA Compliance Monitoring for Web Services.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Sequential Pattern-Based Cache Replacement in Servlet Container.
Proceedings of the Web Engineering, 7th International Conference, 2007

High Performance Approach for Multi-QoS Constrained Web Services Selection.
Proceedings of the Service-Oriented Computing, 2007

A New Approach for Overload Management in Content-based Publish/Subscribe.
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

An HTML Fragments Based Approach for Portlet Interoperability.
Proceedings of the Distributed Applications and Interoperable Systems, 2007

A Satisfaction Driven Approach for the Composition of Interactive Web Services.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

An Interaction Instance Oriented Approach for Web Application Integration in Portals.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A Bayesian network based Qos assessment model for web services.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006
A default extension to distributed description logics.
Web Intelligence and Agent Systems, 2006

Extending Interactive Web Services for Improving Presentation Level Integration in Web Portals.
J. Comput. Sci. Technol., 2006

An application-semantics-based relaxed transaction model for internetware.
Science in China Series F: Information Sciences, 2006

Jenova: New Approach on Concurrency Control in Web Service Transaction Management.
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

Performance Evaluation of Component System based on Container style Middleware.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

An Adaptive Caching Mechanism for Web Services.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Combining Replication with Transaction Processing for Enhanced Reliability in J2EE.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

A Novel SOAP Attachment-Oriented Security Model.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware.
Proceedings of the Software Engineering Techniques: Design for Quality, 2006

A Decentralized Approach for Inter-Enterprise Business Process Collaboration.
Proceedings of the Enterprise Interoperability, 2006

Developing a Selection Model for Interactive Web Services.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

High Performance Web Services Based on Service-Specific SOAP Processor.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition.
Proceedings of the Formal Methods and Software Engineering, 2006

A Presentation Feature Based Approach to Improving Interactive Web Service Discovery in Web Portals.
Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

Completing UML Model of Component-Based System with Middleware for Performance Evaluation.
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006

A Fault-Tolerant Scheme for Complex Transaction Patterns in J2EE.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

High Performance SOAP Processing Driven by Data Mapping Template.
Proceedings of the Distributed Applications and Interoperable Systems, 2006

A Decentralized Services Choreography Approach for Business Collaboration.
Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005
A QoS-enable failure detection framework for J2EE application server.
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

A Framework for Application Server Based Web Services Management.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004
Web Service Cooperation Ideology.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications.
Proceedings of the Network and Parallel Computing, IFIP International Conference, 2004

A Formal Framework for Ontology Integration Based on a Default Extension to DDL.
Proceedings of the Theoretical Aspects of Computing, 2004

A Default Extension to Distributed Description Logics.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

A Reliable Content-Based Routing Protocol over Structured Peer-to-Peer Networks.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

POP beyond SODA, Reaching the New Horizon of Service Cooperation.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2002
A CSP and Z combined modeling of document exchange processes in e-commerce protocols.
Information & Software Technology, 2002

New Model and Scheduling Protocol for Transactional Workflows.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Modeling and Verifying Strong Cache Consistency for Mobile Data Access .
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Exploiting Automatic Analysis of E-Commerce Protocols.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

1998
Challenges of Communication in Mobile Computing.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998


  Loading...