位置：成果数据库 > 会议 > 会议详情页
Extracting Behavioral Models from WS-BPEL Processes for Service Discovery
  • 所属机构名称：北京大学
  • 成果类型：会议
  • 相关项目：可信软件的基础理论、方法和技术研究
同会议论文项目
可信软件的基础理论、方法和技术研究
期刊论文 36 会议论文 54 获奖 2
同项目会议论文
一种基于Internet的JAR包使用信息收集方法
Jtop: Managing JUnit Test Cases in Absence of Coverage Information
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
Handling Crosscutting Concerns during Software Process Improvement
MAPO: Mining and Recommending API Usage Patterns
Improving Performance of Matrix Multiplication and FFT on GPU
A lightweight Monitoring framework for Embedded systems
VIDA: Visual Interactive Debugging
An Automatic Compliance Checking Approach for Software Processes
Enabling On Demand Deployment of Middleware Services in Componentized Middleware
SM@RT: Towards Architecture-based Runtime Management of Internetware Systems
A Task-Oriented Navigation Approach to Enhancing Architectural Description Comprehension
以代理为中心的 OSGi 构件资源监控方法
TSRR: A Software Resource Repository for Trustworthiness Resource Management and Reuse
Inferring Resource Specifications from Natural Language API Documentation
Locating Need-to-Translate Constant Strings in Web Applications
Test Input Reduction for Result Inspection to Facilitate Fault Localization
Using QoS-Contracts to Drive Architecture-Centric Self-Adaptation
Service Encapsulation for Middleware Management Interfaces
Security Model Oriented Attestation on Dynamically Reconfigurable Component-Based System
SCOBA: Source Code Based Attestation on Custom Software
A Propositional Logic-Based and Evidence-Rich Web Services Trustworthiness Evaluation Framework
Developer Fluency: Achieving True Mastery in Software Projects
Management as a Service: An Empirical Case Study in the Internetware Cloud
A Browser-based Framework for Data Cache in Web-Delivered Service Composition
Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and
Is Operator-Based Mutant Selection Superior to Random Mutant Selection
A Semi-supervised Approach for Component Recommendation Based on Citations
Towards Automatic Tuning of Adaptive Computations in Autonomic Middleware.
Mashing-up Rich User Interfaces for Human-Interaction in WS-BPEL
A Flexible Multi-Source Web Service’s QoS Acquisition Framework and Implementation
Transaction-based Adaptive Dynamic Voltage Scaling for Interactive Applications
Automatic Construction of an Effective Training Set for Prioritizing Static Analysis Warnings
Matching Dependence-Related Queries in the System Dependence Graph
Does the Initial Environment Impact the Future of Developers
Binary-Search Based Verification of Feature Models
A Multi-dimensional Hierarchical Model Methodology for Autonomic Computing System
Natural Language Processing based Detection of Duplicate Defect Patterns
Jonathan de Halleux and Hong Mei， Test Generation via Dynamic Symbolic Execution for Mutation Testin
Automating Reusable-Procedure Discovery through Developer’s Action Analysis
An Automatic Configuration Approach to Improve Real-Time Application Throughput While Attaining Dete
Integrating Resource Consumption and Allocation for Infrastructure Resources on-Demand
A Self-Adaptive Mechanism for Software Configuration Based on Case-based Reasoning and Policy
Towards Automated Generation of User-Specific Eclipse Wizard
An Automatic Approach to Aid Process Integration within a Secure Software Processes Family
A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models
An Agent-based Autonomous Component Model for Internetware
Generating Synchronization Engines between Running Systems and Their Model-Based Views
Towards Architecture-centric Collaborative Software Development
A Use Case Based Approach to Feature Models’ Construction
Semantic Attestation of Software Configuration
Towards Service Composition Middleware Embedded in Web Browser
Time-Aware Test-Case Prioritization using Integer Linear Programming