位置：成果数据库 > 会议 > 会议详情页
Modeling and Verification of Compensating Transactions using the Spin Tool
  • 所属机构名称：西交利物浦大学
  • 会议名称：IMECS2012
  • 时间：2012.3.14
  • 成果类型：会议
  • 相关项目：具有上下文特征的CPS体系结构和形式分析的研究
作者： K.Wan|Hemangee K. Kapoor|Shirshendu Das|B. Raju|Tomas Krilavicius|Ka Lok, Man|
同会议论文项目
具有上下文特征的CPS体系结构和形式分析的研究
期刊论文 11 会议论文 33
同项目会议论文
Application of Hough Transform Feature Extration to Reduce Angular Vibration in Images Captured from
The Magic Number for Determining User Preferences in Recommendation Systems
Analyzing Item Features for Cold-Start Problems in Recommendation Systems
Context-aware Security Solutions for Cyber Physical Systems
Achieving Dependability of Cyber-physical Systems with Autonomic Covering
Improving Movie Recommendation Systems through Analysis of the Bandwagon effect
Pricing American Options on Dividend-Paying Stocks and Estimating the Greek Letters Using Leisen-Rei
Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation
Parallel Generation of Optimal Mortgage Refinancing Threshold Rates
Facilitating Teaching CPS and Technology-based Content with Learning Management Systems
Development of a Reliability Course for Emerging Circuits and Systems
Toward a Hybrid Approach to SoC Estimation for a Smart Battery Management System (BMS) and Battery S
A Multicore Approach to Model-Based Analysis and Design of Cyber-Physical Systems
A Dynamic Resource Supply Model towards Cyber Physical System (CPS)
Towards a hybrid approach to SoC estimation for a smart Battery Management System (BMS) and battery
A Context-aware Multi-agent Systems Architecture for Adaptation of Autonomic Systems
Resource Modeling for Cyber Physical Systems
Dependable Context-sensitive Services in Cyber Physical Systems
Weightless Swarm Algorithm (WSA) for Dynamic Optimization Problems
Design of a reliable XOR-XNOR Circuit for Arithmetic Logic Units
Space Exploration of Multi-Agent Robotics via Genetic Algorithm
Modeling and Analysis of Radiation Therapy System with Respiratory Compensation using Uppaal
Intelligent Graphical User Interface for Managing Resource Knowledge in Cyber Physical Systems
Synthesizing Data-to-Wisdom Hierarchy for Developing Smart Systems
Integrating Context-Awareness and Trustworthiness in IoT Descriptions
An Approach to Designing an Autonomic Network of Tracffic Managers
A Resource-Centric Architecture for Service-Oriented Cyber Physical System
Modeling Resource-centric Services in Cyber Physical Systems
Design and Implementation of Resource-Centric Web Services in Smart Grid Cyber-Physical Systems
Design of a Reliable XOR-XNOR Circuit for Arithmetic Logic Units
Using Web 2.0 Tools to Enhance Learning in Higher Education: A Case Study in Technological Education
Developing a Smart Learning Environment in Universities Via Cyber-Physical Systems