Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation

COMET: Coverage-guided Model Generation For Deep Learning Library Testing

Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications

Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode

Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem

Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward

ConfFix: Repairing Configuration Compatibility Issues in Android Apps

Fuzzing Deep Learning Compilers with HirGen

Revisiting the Evaluation of Deep Learning-Based Compiler Testing

ωTest: WebView-Oriented Testing for Android Applications

Multi-Constraint Adversarial Networks for Unsupervised Image-to-Image Translation

SemMT: A Semantic-Based Testing Approach for Machine Translation Systems

Will Dependency Conflicts Affect My Program's Semantics

APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps

DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs

Insight: Exploring Cross-Ecosystem Vulnerability Impacts

Nufix: Escape From NuGet Dependency Maze

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix

Automatic Detection and Update Suggestion for Outdated API Names in Documentation

Historical Spectrum based Fault Localization

Sifter: A Service Isolation Strategy For Internet Applications

To what extent do DNN-based image classification models make unreliable inferences?

Workflow Refactoring for Maximizing Concurrency and Block-Structuredness

一种验证分布式协议活性属性容错机制的模型检测方法

Ðarcher: Detecting on-chain-off-chain synchronization bugs in decentralized applications

A Comprehensive Study of Deep Learning Compiler Bugs

Characterizing and Detecting Configuration Compatibility Issues in Android Apps

Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts

HERO: On the Chaos When PATH Meets Modules

ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection

TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair

ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection

ContractGuard：面向以太坊區塊鏈智能合約的入侵檢測系統

How Well Do Change Sequences Predict Defects? Sequence Learning from Software Changes

Understanding and Detecting Fragmentation-Induced Compatibility Issues for Android Apps

Boosting Automated Program Repair with Bug-Inducing Commits

Detecting Numerical Bugs in Neural Network Architectures

EvalDNN: A toolbox for evaluating deep neural network models

FlashRegex: Deducing Anti-ReDoS Regexes from Examples

MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests

Watchman: Monitoring Dependency Conflicts for Python Library Ecosystem

Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs

Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs

DroidLeaks: A Comprehensive Database of Resource Leaks in Android Apps

File-level Socio-technical Congruence and Its Relationship With Bug Proneness in OSS Projects

Could i Have a Stack Trace to Examine the Dependency Conflict Issue?

Exploring and exploiting the correlations between bug-inducing and bug-fixing commits

Exposing Library API Misuses via Mutation Analysis

Pivot: learning API-device correlations to facilitate Android compatibility issue detection

SGUARD: A feature-based clustering tool for effective spreadsheet defect detection

ChangeLocator:Locate Crash-Inducing Changes Based on Crash Reports

A Tale of Two Cities: How Webview Induces Bugs to Android Applications

An Empirical Study on TensorFlow Program Bugs

ChangeLocator: Locate Crash-Inducing Changes Based on Crash Reports

Context-Aware Patch Generation for Better Automated Program Repair

Do the Dependency Conflicts in My Project Matter?

Synthesizing Relation-Aware Entity Transformation by examples

Understanding and Detecting Callback Compatibility Issues for Android Applications

Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations Using PAF

CACheck: Detecting and Repairing Cell Arrays in Spreadsheets

How Effectively Can Spreadsheet Anomalies Be Detected: An Empirical Study

OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews

Casper: An efficient approach to call trace collection

Hybrid CPU-GPU constraint checking: Towards efficient context consistency

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications

Casper: An Efficient Approach to Call Trace Collection

Coverage-Driven Test Code Generation for Concurrent Classes

CSNIPPEX: Automated Synthesis of Compilable Code Snippets from Q&A Sites

CUSTODES: Automatic spreadsheet cell clustering and smell detection using strong and weak features

Detecting Table Clones and Smells in Spreadsheets

Locus: Locating Bugs from Software Changes

Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps

Understanding and Detecting Wake Lock Misuses for Android Applications

VEnron: a Versioned Spreadsheet Corpus and Related Evolution Analysis

A survey on dependability improvement techniques for pervasive computing systems

Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications

Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications: Challenges and Opportunities

RECONTEST: Effective Regression Testing of Concurrent Programs

CHECKERDROID: Automated Quality Assurance for Smartphone Applications

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications

Scaling Up Symbolic Analysis by Removing Z-Equivalent States

Characterizing and detecting performance bugs for smartphone applications

CrashLocator: locating crashing faults based on crash stacks

Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation

Symbolic state validation through runtime data

AFChecker: Effective model checking for context-aware adaptive applications

Detecting Faults in Context-aware Adaptation

Towards context consistency by concurrent checking for Internetware applications

一种面向传感器网络应用程序的有效测试方法

一種基于程序變異的軟件錯誤定位技術

A Cost-effectiveness Criterion for Applying Software Defect Prediction Models

Where Has My Battery Gone? Finding Sensor Related Energy Black Holes in Smartphone Applications

Adam: Identifying defects in context-aware adaptation

Human and program factors affecting the maintenance of programs with deployed design patterns

Mixed-reality simulation of RFID systems using iterated learning

Dynamic fault detection in context-aware adaptation

Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems

Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views

The First International Workshop on Cloud Information System Engineering(CISE 2010) chairs' message

Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts

Refactoring and publishing WS-BPEL processes to obtain more partners

ReLink: Recovering links between bugs and changes

Understanding a developer social network and its evolution

Data-driven testing methodology for RFID systems

Detecting atomic-set serializability violations in multi-threaded programs through active randomized testing

Engineering e-Collaboration Services with a Multi-Agent System Approach

Enhancing E-service Collaboration with Enforcement and Relationship Management: a Methodology from Requirements to Event Driven Realization

Partial Constraint Checking for Context Consistency in Pervasive Computing

Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010: Message from the CSIOT 2010 workshop chairs

Sequential Event Pattern Based Design of Context-Aware Adaptive Application

Web Information Systems Engineering-WISE 2010 Workshops: WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010. Revised Selected Papers

A metamorphic testing methodology for online SOA application testing

Factors for effective use of deployed design patterns

Investigation of Radio Link Budget for UHF RFID Systems

LocaToR: Locating passive RFID tags with the relative neighborhood graph

Preserving data flow correctness in process adaptation

Sequential event pattern based context-aware adaptation

The impact of reader to tag collision on RFID tag identification

Atomicity Analysis of Service Composition across Organizations

Interactive Visual Optimization and Analysis for RFID Benchmarking

PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs

Preface

Preface for the ICEBE 2007 special section

Semantic Sensor Net: An Extensible Framework

Special Issue on Software Engineering for High-Confidence Systems: Preface

Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization

Mobile Workforce Management in a Service-Oriented Enterprise: Capturing Concepts and Requirements in a Multi-Agent Infrastructure

Towards a dependable software paradigm for service-oriented computing

A public-view approach to timed properties verification for B2B Web service compositions

A study on the replaceability of context-aware middleware

Coincidental Correctness: Refine Code Coverage with Context Pattern to Improve Fault Localization

Constructing and testing privacy-aware services in a cloud computing environment - Challenges and opportunities

A workflow engine-driven SOA-based cooperative computing paradigm in grid environments

Alerts in Healthcare Applications: Process and Data Integration

Inter-context control-flow and data-flow test adequacy criteria for nesC applications

The use of digital watermarking for intelligence multimedia document distribution

Decentralized constraint checking for pervasive computing

Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications

A metamorphic testing approach for online testing of service-oriented software applications

Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure

On design, verification, and dynamic modification of the problem-based scientific workflow model

Ubiquitous enterprise service adaptations based on contextual user behavior

Adapting Mobile Government Services with Context and Views in a Three-Tier Architecture

Detection and resolution of atomicity violation in service composition

Developing a distributed e-monitoring system for enterprise Website and Web services: An experience report with free libraries and tools

Do maintainers utilize deployed design patterns effectively?

Goal-directed context validation for adaptive ubiquitous systems

Message from ICEBE 2007 program chairs

On impact-oriented automatic resolution of pervasive context inconsistency

Process evolution with atomicity consistency

Teaching embedded systems software: The HKUST experience

Towards the testing of power-aware software applications for wireless sensor networks

Towards ubiquitous government services through adaptations with context and views in a three-tier architecture

Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study

Performance aware service pool in dependable service oriented architecture

软件体系结构模型单层化的一致性保障方法

Mobile workforce management in a service-oriented enterprise: Capturing concepts and requirements in a multi-agent infrastructure

A Combinatorial Methodology for RFID Benchmarking

Adapting ubiquitous enterprise services with context and views

An entity-relationship model based conceptual framework for model driven development

Cooperative cognition and its implementation under web environment

Distinguishing between automatic and manual aspects of model driven development

Dynamic model learning using genetic algorithm under adaptive model checking framework

Flows and views for scalable scientific process integration

Incremental consistency checking for pervasive context

Local analysis of atomicity sphere for B2B collaboration

MOTSA TOF-MRA using multi-oblique-stacks acquisition (MOSA)

Program co-chairs' message

Publishing and composition of atomicity-equivalent services for B2B collaboration

Reference models and automatic oracles for the testing of Mesh simplification software for graphics rendering

RFID Middleware Benchmarking

The first international workshop on automation of software test

Toward Effective Deployment of Design Patterns for Software Extension: A Case Study

Tutorials: full day tutorials

Work experience versus refactoring to design patterns: A controlled experiment

A hybrid workflow paradigm for integrating self-managing domain-specific applications

BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale

Certificate-driven grid workflow paradigm based on service computing

Developing e-Negotiation support with a meta-modeling approach in a Web services environment

Enhancing class commutability in the deployment of design patterns

Integrating legacy sites into web services with webxcript

Toxic effects of copper on larval development of the barnacle Balanus amphitrite

Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents

A Hybrid Workflow Paradigm for Integrating Self-Managing Domain-Specific Applications

A metamodel based model transformation approach

A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise

Facilitating e-Negotiation Processes with Semantic Web Technologies

Fault-based testing of database application programs with conceptual data model

Inconsistency detection and resolution for context-aware middleware support

Semantic Sensor net: An Extensible Framework

Towards a metamorphic testing methodology for service-oriented software applications

Alerts in mobile healthcare applications: Requirements and pilot study

Applying generic timing tests for distributed multimedia software systems

Cabot: On the ontology for the middleware support of context-aware pervasive applications

Grammar based interface processing in Web Service composition

Process Views with Flows for Heterogeneous and Complex System Integration: A Service Requirement Approach

Semantic interpretation and matching of Web services

Workflow view driven cross-organizational interoperability in a web service environment

A commutative encrypted protocol for the privacy protection of watermarks in digital contents

A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents

Alert-driven E-service management

Alerts for healthcare process and data integration

Constraint-based negotiation in a multi-agent information system with multiple platform support

On the Ontology for the Middleware Support of Context-Aware Pervasive Applications

Towards the application of classification techniques to test and identify faults in multimedia systems

Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents

A three-tier view-based methodology for adapting human-agent collaboration systems

A three-tier view-based methodology for m-services adaptation

Digital Rights Management in Web Services

Integration of Digital Rights Management into the Internet Open Trading Protocol

A Data-Driven Methodology to Extending Workflows to E-services over the Internet

A Three Layer Architecture for E-Contract Enforcement in an E-Service Environment

A three tier view based methodology for adapting human agent collaborative systems towards a connected society

A Watermarking Infrastructure for Enterprise Content Management

Alert-driven Process Integration in a Web Services Environment

An architecture for e-contract enforcement in an e-service environment

An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry

Developing e-Negotiation Process Support by Web Services

Implementing Watermark Token in WS-Security for Digital Content Distribution

Integrating Heterogeneous Web Services with WebXcript

On the e-Negotiation of Unmatched Logrolling Views

Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution

A CSP and Z combined modeling of document exchange processes in e-commerce protocols

A meta-model for e-Contract template variable dependencies facilitating e-negotiation

A three-layer framework for cross-organizational e-contract enactment

Automated test case generation for the stress testing of multimedia systems

Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment

A Meta-model for Contract Template Driven e-Negotiation Processes

A Watermarking Infrastructure for Digital Rights Protection

Automating Online Web-based E-Commerce Activities with WebScript

Rights protection for digital contents redistribution over the Internet

Three-Tier View-Based Support for Mobile Workflows

Towards a methodology for formal design and analysis of agent interaction protocols - An investigation in electronic commerce

5. Organisation Modelling using LDAP

A Three-Layer Framework for Cross-Organizational E-Contract Enactment

Automatic Generation of Database Instances for White-Box Testing

Exploiting automatic analysis of e-commerce protocols

Modeling and verifying strong cache consistency for mobile data access

On the modelling of document exchange processes in e-commerce protocols

Toward generic timing tests for distributed multimedia software systems

Digital Rights Management in Internet Open Trading Protocol (IOTP)

A model-based authorware for the construction of distributed multimedia systems

Behaviour Analysis of Distributed Systems Using the Tracta Approach

Checking safety properties using compositional reachability analysis

Stress testing of distributed multimedia software systems

A CSCW framework for the flexible coupling of groupware widgets

Testing Database Applications with SQL Semantics

Application of metamorphic testing in numerical analysis

Construction of distributed multimedia applications using multiple views

Towards a framework for testing distributed multimedia software systems

Two-tier technique for authoring distributed multimedia applications

Verification of Liveness Properties Using Compositional Reachability Analysis

A framework for distributed object-oriented testing

Tracta : an environment for analysing the behaviour of distributed systems

Context Constraints for Compositional Reachability Analysis

An Integrated Distributed Multimedia System and Development Environment

Checking Subsystem Safety Properties in Compositional Reachability analysis

Contextual local analysis in the design of distributed systems

Compositional reachability analysis of finite-state distributed systems with user-specified constraints

Tractable dataflow analysis for distributed systems

An Integrated Method for Effective Behaviour Analysis of Distributed Systems

Enhancing Compositional Reachability Analysis with Context Constraints

Tractable Flow Analysis for Anomaly Detection in Distributed Programs

Configuring Heterogeneous Open Systems

Parallel Algorithm Design for Workstation Clusters

An Introduction to Distributed Programming in REX

CACheck: Detecting and Repairing Cell Arrays in Spreadsheets

Article

How Effectively Can Spreadsheet Anomalies Be Detected: An Empirical Study

Article

OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews

Conference paper

Casper: An efficient approach to call trace collection

Article

Hybrid CPU-GPU constraint checking: Towards efficient context consistency

Article

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications

Book chapter

Casper: An Efficient Approach to Call Trace Collection

Conference paper

Coverage-Driven Test Code Generation for Concurrent Classes

Conference paper

CSNIPPEX: Automated Synthesis of Compilable Code Snippets from Q&A Sites

Conference paper

CUSTODES: Automatic spreadsheet cell clustering and smell detection using strong and weak features

Conference paper

Detecting Table Clones and Smells in Spreadsheets

Conference paper

Locus: Locating Bugs from Software Changes

Conference paper

Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps

Conference paper

Understanding and Detecting Wake Lock Misuses for Android Applications

Conference paper

VEnron: a Versioned Spreadsheet Corpus and Related Evolution Analysis

Conference paper

A survey on dependability improvement techniques for pervasive computing systems

Article

Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications

Article

Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications: Challenges and Opportunities

Article

RECONTEST: Effective Regression Testing of Concurrent Programs

Conference paper

CHECKERDROID: Automated Quality Assurance for Smartphone Applications

Article

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications

Article

Scaling Up Symbolic Analysis by Removing Z-Equivalent States

Article

Characterizing and detecting performance bugs for smartphone applications

Conference paper

CrashLocator: locating crashing faults based on crash stacks

Conference paper

Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation

Conference paper

Symbolic state validation through runtime data

Conference paper

AFChecker: Effective model checking for context-aware adaptive applications

Article

Detecting Faults in Context-aware Adaptation

Article

Towards context consistency by concurrent checking for Internetware applications

Article

一种面向传感器网络应用程序的有效测试方法

Article

一種基于程序變異的軟件錯誤定位技術

Article

A Cost-effectiveness Criterion for Applying Software Defect Prediction Models

Conference paper

Where Has My Battery Gone? Finding Sensor Related Energy Black Holes in Smartphone Applications

Conference paper

Adam: Identifying defects in context-aware adaptation

Article

Human and program factors affecting the maintenance of programs with deployed design patterns

Article

Mixed-reality simulation of RFID systems using iterated learning

Article

Dynamic fault detection in context-aware adaptation

Conference paper

Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems

Article

Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views

Article

The First International Workshop on Cloud Information System Engineering(CISE 2010) chairs' message

Article

Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts

Article

Refactoring and publishing WS-BPEL processes to obtain more partners

Conference paper

ReLink: Recovering links between bugs and changes

Conference paper

Understanding a developer social network and its evolution

Conference paper

Data-driven testing methodology for RFID systems

Article

Detecting atomic-set serializability violations in multi-threaded programs through active randomized testing

Article

Engineering e-Collaboration Services with a Multi-Agent System Approach

Article

Enhancing E-service Collaboration with Enforcement and Relationship Management: a Methodology from Requirements to Event Driven Realization

Article

Partial Constraint Checking for Context Consistency in Pervasive Computing

Article

Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010: Message from the CSIOT 2010 workshop chairs

Article

Sequential Event Pattern Based Design of Context-Aware Adaptive Application

Article

Web Information Systems Engineering-WISE 2010 Workshops: WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010. Revised Selected Papers

Book

A metamorphic testing methodology for online SOA application testing

Book chapter

Factors for effective use of deployed design patterns

Conference paper

Investigation of Radio Link Budget for UHF RFID Systems

Conference paper

LocaToR: Locating passive RFID tags with the relative neighborhood graph

Conference paper

Preserving data flow correctness in process adaptation

Conference paper

Sequential event pattern based context-aware adaptation

Conference paper

The impact of reader to tag collision on RFID tag identification

Conference paper

Atomicity Analysis of Service Composition across Organizations

Article

Interactive Visual Optimization and Analysis for RFID Benchmarking

Article

PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs

Article

Preface

Article

Preface for the ICEBE 2007 special section

Article

Semantic Sensor Net: An Extensible Framework

Article

Special Issue on Software Engineering for High-Confidence Systems: Preface

Article

Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization

Article

Mobile Workforce Management in a Service-Oriented Enterprise: Capturing Concepts and Requirements in a Multi-Agent Infrastructure

Book chapter

Towards a dependable software paradigm for service-oriented computing

Book chapter

A public-view approach to timed properties verification for B2B Web service compositions

Conference paper

A study on the replaceability of context-aware middleware

Conference paper

Coincidental Correctness: Refine Code Coverage with Context Pattern to Improve Fault Localization

Conference paper

Constructing and testing privacy-aware services in a cloud computing environment - Challenges and opportunities

Conference paper

A workflow engine-driven SOA-based cooperative computing paradigm in grid environments

Article

Alerts in Healthcare Applications: Process and Data Integration

Article

Inter-context control-flow and data-flow test adequacy criteria for nesC applications

Article

The use of digital watermarking for intelligence multimedia document distribution

Article

Decentralized constraint checking for pervasive computing

Conference paper

Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications

Conference paper

A metamorphic testing approach for online testing of service-oriented software applications

Article

Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure

Article

On design, verification, and dynamic modification of the problem-based scientific workflow model

Article

Ubiquitous enterprise service adaptations based on contextual user behavior

Article

Adapting Mobile Government Services with Context and Views in a Three-Tier Architecture

Conference paper

Detection and resolution of atomicity violation in service composition

Conference paper

Developing a distributed e-monitoring system for enterprise Website and Web services: An experience report with free libraries and tools

Conference paper

Do maintainers utilize deployed design patterns effectively?

Conference paper

Goal-directed context validation for adaptive ubiquitous systems

Conference paper

Message from ICEBE 2007 program chairs

Conference paper

On impact-oriented automatic resolution of pervasive context inconsistency

Conference paper

Process evolution with atomicity consistency

Conference paper

Teaching embedded systems software: The HKUST experience

Conference paper

Towards the testing of power-aware software applications for wireless sensor networks

Conference paper

Towards ubiquitous government services through adaptations with context and views in a three-tier architecture

Conference paper

Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study

Article

Performance aware service pool in dependable service oriented architecture

Article

软件体系结构模型单层化的一致性保障方法

Article

Mobile workforce management in a service-oriented enterprise: Capturing concepts and requirements in a multi-agent infrastructure

Book chapter

A Combinatorial Methodology for RFID Benchmarking

Conference paper

Adapting ubiquitous enterprise services with context and views

Conference paper

An entity-relationship model based conceptual framework for model driven development

Conference paper

Cooperative cognition and its implementation under web environment

Conference paper

Distinguishing between automatic and manual aspects of model driven development

Conference paper

Dynamic model learning using genetic algorithm under adaptive model checking framework

Conference paper

Flows and views for scalable scientific process integration

Conference paper

Incremental consistency checking for pervasive context

Conference paper

Local analysis of atomicity sphere for B2B collaboration

Conference paper

MOTSA TOF-MRA using multi-oblique-stacks acquisition (MOSA)

Conference paper

Program co-chairs' message

Conference paper

Publishing and composition of atomicity-equivalent services for B2B collaboration

Conference paper

Reference models and automatic oracles for the testing of Mesh simplification software for graphics rendering

Conference paper

RFID Middleware Benchmarking

Conference paper

The first international workshop on automation of software test

Conference paper

Toward Effective Deployment of Design Patterns for Software Extension: A Case Study

Conference paper

Tutorials: full day tutorials

Conference paper

Work experience versus refactoring to design patterns: A controlled experiment

Conference paper

A hybrid workflow paradigm for integrating self-managing domain-specific applications

Article

BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale

Article

Certificate-driven grid workflow paradigm based on service computing

Article

Developing e-Negotiation support with a meta-modeling approach in a Web services environment

Article

Enhancing class commutability in the deployment of design patterns

Article

Integrating legacy sites into web services with webxcript

Article

Toxic effects of copper on larval development of the barnacle Balanus amphitrite

Article

Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents

Article

A Hybrid Workflow Paradigm for Integrating Self-Managing Domain-Specific Applications

Conference paper

A metamodel based model transformation approach

Conference paper

A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise

Conference paper

Facilitating e-Negotiation Processes with Semantic Web Technologies

Conference paper

Fault-based testing of database application programs with conceptual data model

Conference paper

Inconsistency detection and resolution for context-aware middleware support

Conference paper

Semantic Sensor net: An Extensible Framework

Conference paper

Towards a metamorphic testing methodology for service-oriented software applications

Conference paper

Alerts in mobile healthcare applications: Requirements and pilot study

Article

Applying generic timing tests for distributed multimedia software systems

Article

Cabot: On the ontology for the middleware support of context-aware pervasive applications

Article

Grammar based interface processing in Web Service composition

Article

Process Views with Flows for Heterogeneous and Complex System Integration: A Service Requirement Approach

Article

Semantic interpretation and matching of Web services

Article

Workflow view driven cross-organizational interoperability in a web service environment

Article

A commutative encrypted protocol for the privacy protection of watermarks in digital contents

Conference paper

A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents

Conference paper

Alert-driven E-service management

Conference paper

Alerts for healthcare process and data integration

Conference paper

Constraint-based negotiation in a multi-agent information system with multiple platform support

Conference paper

On the Ontology for the Middleware Support of Context-Aware Pervasive Applications

Conference paper

Towards the application of classification techniques to test and identify faults in multimedia systems

Conference paper

Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents

Conference paper

A three-tier view-based methodology for adapting human-agent collaboration systems

Article

A three-tier view-based methodology for m-services adaptation

Article

Digital Rights Management in Web Services

Article

Integration of Digital Rights Management into the Internet Open Trading Protocol

Article

A Data-Driven Methodology to Extending Workflows to E-services over the Internet

Conference paper

A Three Layer Architecture for E-Contract Enforcement in an E-Service Environment

Conference paper

A three tier view based methodology for adapting human agent collaborative systems towards a connected society

Conference paper

A Watermarking Infrastructure for Enterprise Content Management

Conference paper

Alert-driven Process Integration in a Web Services Environment

Conference paper

An architecture for e-contract enforcement in an e-service environment

Conference paper

An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry

Conference paper

Developing e-Negotiation Process Support by Web Services

Conference paper

Implementing Watermark Token in WS-Security for Digital Content Distribution

Conference paper

Integrating Heterogeneous Web Services with WebXcript

Conference paper

On the e-Negotiation of Unmatched Logrolling Views

Conference paper

Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution

Conference paper

A CSP and Z combined modeling of document exchange processes in e-commerce protocols

Article

A meta-model for e-Contract template variable dependencies facilitating e-negotiation

Article

A three-layer framework for cross-organizational e-contract enactment

Article

Automated test case generation for the stress testing of multimedia systems

Article

Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment

Article

A Meta-model for Contract Template Driven e-Negotiation Processes

Conference paper

A Watermarking Infrastructure for Digital Rights Protection

Conference paper

Automating Online Web-based E-Commerce Activities with WebScript

Conference paper

Rights protection for digital contents redistribution over the Internet

Conference paper

Three-Tier View-Based Support for Mobile Workflows

Conference paper

Towards a methodology for formal design and analysis of agent interaction protocols - An investigation in electronic commerce

Article

5. Organisation Modelling using LDAP

Book chapter

A Three-Layer Framework for Cross-Organizational E-Contract Enactment

Conference paper

Automatic Generation of Database Instances for White-Box Testing

Conference paper

Exploiting automatic analysis of e-commerce protocols

Conference paper

Modeling and verifying strong cache consistency for mobile data access

Conference paper

On the modelling of document exchange processes in e-commerce protocols

Conference paper

Toward generic timing tests for distributed multimedia software systems

Conference paper

Digital Rights Management in Internet Open Trading Protocol (IOTP)

Conference paper

A model-based authorware for the construction of distributed multimedia systems

Article

Behaviour Analysis of Distributed Systems Using the Tracta Approach

Article

Checking safety properties using compositional reachability analysis

Article

Stress testing of distributed multimedia software systems

Book chapter

A CSCW framework for the flexible coupling of groupware widgets

Conference paper

Testing Database Applications with SQL Semantics

Conference paper

Application of metamorphic testing in numerical analysis

Conference paper

Construction of distributed multimedia applications using multiple views

Conference paper

Towards a framework for testing distributed multimedia software systems

Conference paper

Two-tier technique for authoring distributed multimedia applications

Conference paper

Verification of Liveness Properties Using Compositional Reachability Analysis

Article

A framework for distributed object-oriented testing

Conference paper

Tracta : an environment for analysing the behaviour of distributed systems

Conference paper

Context Constraints for Compositional Reachability Analysis

Article

An Integrated Distributed Multimedia System and Development Environment

Conference paper

Checking Subsystem Safety Properties in Compositional Reachability analysis

Conference paper

Contextual local analysis in the design of distributed systems

Article

Compositional reachability analysis of finite-state distributed systems with user-specified constraints

Conference paper

Tractable dataflow analysis for distributed systems

Article

An Integrated Method for Effective Behaviour Analysis of Distributed Systems

Conference paper

Enhancing Compositional Reachability Analysis with Context Constraints

Conference paper

Tractable Flow Analysis for Anomaly Detection in Distributed Programs

Conference paper

Configuring Heterogeneous Open Systems

Conference paper

Parallel Algorithm Design for Workstation Clusters

Article

An Introduction to Distributed Programming in REX

Conference paper