位置：成果数据库 > 会议 > 会议详情页
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
  • 所属机构名称：南京大学
  • 会议名称：16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, SIGSOFT 2008/FS
  • 成果类型：会议
  • 会场：Atlanta, GA,
  • 相关项目：服务计算的开放软件模型与协同机理研究
作者： Cheung, S.C.|Chan, W.K.|Lai, Zhifeng|
同会议论文项目
服务计算的开放软件模型与协同机理研究
期刊论文 56 会议论文 63 获奖 2 专利 9
同项目会议论文
Combining local optimization and enumeration for QoS-aware web service composition
An internetware based approach to building web page integration applications for mobile devices
Assignment Problem in Requirements Driven Agent Collaboration and its Implementation
Lessons learnt in building a real-world body area sensor network system
A QoS-aware web service selection method based on credibility evaluation
ESPar: Mining Emerging Sequential Patterns for Activity Recognition in Wireless Body Sensor Networks
An Agent-Based Framework Supporting Trust Evaluation for Service Selection
A Trust Measurement Mechanism for Service Agents
A modeling approach for service-oriented application based on extensive reuse
Mining emerging patterns for recognizing activities of multiple users in pervasive computing
epSICAR: An Emerging Patterns based Approach to Sequential, Interleaved and Concurrent Activity Reco
Requirement Driven Agent Collaboration and QoS based Negotiation
Internetware: A shift of software paradigm
Service Discovery and Substitution according to Inheritance of Behavior with Invariant Analysis
A QoS-aware service selection approach on P2P network for dynamic cross-organizational workflow deve
A global QoS-driven evaluation strategy for web services composition
A dynamic trust network based simulation framework for reputation-based service selection
Privacy protection in participatory sensing applications requiring fine-grained locations
A lattice-theoretic approach to runtime property detection for pervasive context
Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context
A broker-assisting trust and reputation system based on artificial neural network
A runtime architecture-based approach for the dynamic evolution of distributed component-based syste
Refactoring and publishing WS-BPEL processes to obtain more partners
A history record-based service optimization method for QoS-aware service composition
Unifying Domain Ontology with Agent-Oriented Modeling of Services
A Survey on Common Vulnerabilities in Reputation Systems
Artemis-FollowMe: an Agent-based Middleware for Mobile Context-aware Applications
Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing
A QoS evaluation method for personalized service requests
A QoS-aware service evaluation method for co-selecting a shared service
Version-consistent dynamic reconfiguration of component-based distributed systems
Comparing linkage graph and activity graph of online social networks
An analytical model for broadcasting by self pruning in wireless ad hoc networks
A framework for agent-based service-oriented modelling
A personalized trust-based approach for service selection in internetwares
A Petri net-based approach for supporting aspect-oriented modeling
Towards the complexity of controls for timed automata with a small number of clocks
An agent-based trust model for service-oriented systems
Toward a model-based approach to dynamic adaptation of composite services
Variability model and management for web service: a petri net based approach
Order Constraints for Multi-view Software Process Model
How and How Much Should We Disclose?
Heuristics-based strategies for resolving context inconsistencies in pervasive computing application
A Personalized Trust-based Approach for Service Selection in Internetwares
Timed modeling and verification of BPEL processes using time Petri nets
Sensor-Based Human Activity Recognition in a Multi-user Scenario
Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing E
Cluster filtered KNN: A WLAN-based indoor positioning scheme
A probabilistic approach to consistency checking for pervasive context
QoS-Aware Service Selection Using QDG for B2B Collaboration
Probe: A system for context collection, dissemination and processing
Building a real-world body area sensor network system
Detection of behavioral contextual properties in asynchronous pervasive computing environments
Preserving data flow correctness in process adaptation
A QoS-optimal automatic service composition method based on backtracting theory
A QoS-aware exception handling method in scientific workflow execution
Towards analysis of semi-Markov decision processes
A comprehensive evaluation method for cross-organizational service selection
Middleware support for context-awareness in asynchronous pervasive computing environments
Detecting atomic-set serializability violations in multi-threaded programs through active randomized
Semantic approach for service oriented requirements modeling
Service-oriented modeling: An extensive reuse method