位置：成果数据库 > 期刊 > 期刊详情页
Path-Oriented Bounded Reachability Analysis Of Composed Linear Hybrid Systems
  • 期刊名称：International Journal on Software Tools for Techno
  • 时间：2011.6.6
  • 页码：307-317
  • 相关项目：面向Internet的软件方法与技术研究
作者： Bu L, Li XD.|
同期刊论文项目
面向Internet的软件方法与技术研究
期刊论文 134 会议论文 96 获奖 18 专利 78 著作 1
同项目期刊论文
Synthesis of 3D models by Petri net
一个基于后备服务的高可靠工作流开发模型
一种基于教学模型的协同训练方法
Isolation-Based Anomaly Detection
Randomized Load Balancing By Joining And Splitting Bins
Performance Analysis Of Cache Consistency Strategies For Multi-Hop Wireless Networks
Improving Photo Composition Elegantly: Considering Image Similarity During Composition Optimization
Constructing N-to-N Shared Optical Queues With Switches and Fiber Delay Lines
On The Throughput Of Feedbackless Segmented Network Coding In Delay Tolerant Networks
基于信息流策略的污点传播分析及动态验证
开放环境特性感知技术
面向方面的计算误差处理技术:实例研究与评估
移动传感器网络中定位算法的性能评测
Web services property sequence chart monitor: A tool chain for monitoring BPEL-based web service com
Coding-Aware Proportional-Fair Scheduling In Ofdma Relay Networks
A Timing-Based Scheme for Rogue AP Detection
The Minimal Failure-Causing Schema Of Combinatorial Testing
A Pattern Mining Approach To Sensor-Based Human Activity Recognition
When Does Cotraining Work In Real Data?
Cost-Sensitive Face Recognition
非均匀数据产生率的传感器网络的节能算法
基于定性多用户偏好的Web服务选择
计算机辅助乱针绣制作技术研究
一种面向测试需求部分覆盖的测试用例集约简技术.
一种目标制导的混合执行测试方法
BACH:线性混成系统有界可达性模型检验工具
Java指针指向分析优化
一种基于后继任务的过程挖掘算法
一种基于QoS剪枝的Top-k自动服务组合方法
基于FCM和随机游走的地层图像分割方法
面向网构软件的环境显式化技术
Identity based encryption and biometric authentication scheme for secure data access in cloud comput
覆盖表生成的遗传算法配置参数优化
上下文相关图文法的表达能力分析
多Agent系统的上下文感知增强
Strategic Ability Updating in Concurrent Games by Coalitional Commitment
CoTrade: Confident Co-Training With Data Editing
Uml Interaction Model-Driven Runtime Verification Of Java Programs
Energy Efficient Backoff Hierarchical Clustering Algorithms For Multi-Hop Wireless Sensor Networks
An Incremental Online Semi-Supervised Active Learning Algorithm Based On Self-Organizing Incremental
Recognizing Multi-User Activities Using Wearable Sensors In A Smart Home
Replacement Attacks: Automatically Evading Behavior-Based Software Birthmark
Timing Analysis Of Msc Specifications With Asynchronous Concatenation
A Survey Of Combinatorial Testing
Efficient Optimization Of Performance Measures By Classifier Adaptation
Adaptive Support Framework For Wisdom Web Of Things
A Qos-Aware Service Discovery Method For Elastic Cloud Computing In An Unstructured Peer-To-Peer Net
Visual Word Coding Based On Difference Maximization
Image Retrieval Based On Augmented Relational Graph Representation
Transductive Cost-Sensitive Lung Cancer Image Classification
ProHet: A probabilistic routing protocol with assured delivery rate in wireless heterogeneous sensor
Multimodal sparse representation-based classification for lung needle biopsy images
TRASMIL: A local anomaly detection framework based on trajectory segmentation and multi-instance lea
Online Selective Kernel-Based Temporal Difference Learning
A service evaluation method for cross-cloud service choreography
Multi-Instance Multi-Label Learning
Elevator-Assisted Sensor Data Collection for Structural Health Monitoring
Association Control For Vehicular Wifi Access: Pursuing Efficiency And Fairness
Recognizing Multiuser Activities Using Wireless Body Sensor Networks
Low-Contention Data Structures
ADAM: Identifying Defects In Context-Aware Adaptation
A Hierarchical Approach To Real-Time Activity Recognition In Body Sensor Networks
MiRmat: Mature microRNA Sequence Prediction
The optimization of replica distribution in the unstructured overlays
Timing Analysis Of Scenario-Based Specifications Using Linear Programming
一种基于不变量的工作流协同模型分解方法
基于条件随机场的模型特征线提取方法
基于硬件虚拟化的单向隔离执行模型
The Ability Of Object-Oriented Metrics To Predict Change-Proneness: A Meta-Analysis
Resource Allocation For Heterogeneous Multiuser Cognitive Radio Networks With Imperfect Spectrum Sen
语义Web中对象共指的消解研究
On Efficient Resource Allocation For Cognitive And Cooperative Communications
Fast Power Allocation Algorithm For Cognitive Radio Networks
Convex And Scalable Weakly Labeled Svms
Efficient Designs of Optical LIFO Buffer with Switches and Fiber Delay Lines
An adaptive service selection method for cross-cloud service composition
Accurate And Energy-Efficient Range-Free Localization For Mobile Sensor Networks
Delay And Capacity Trade-Offs In Mobile Wireless Networks With Infrastructure Support
Multi-Modal Sparse Representation-Based Classification for Lung Needle Biopsy Images
高效的攻击检测与数据融合算法
无线传感器网络中一种模糊加权目标定位方法
RFID数据管理：算法、协议与性能评测
一种面向测试需求部分覆盖的测试用例集约简技术
基于句法树结构的情感评价单元抽取算法
基于分层过程模型的过程演化技术
跨组织协同中基于局部服务质量优化的Web服务组合方法
基于封装结构随机化的程序保护方法
低占空比无线传感器网络中的动态数据传输协议
三维空间域多径信道模型的AOA和TOA特性分析
一种基于网络感知的虚拟机再调度算法
一种面向用户需求的Web服务测试方法
基于查表的快速圆弧裁剪算法
采用单幅草图的正交多面体模型生成方法
样本驱动的半自动图像集前背景分割
均值二分法分块排序的正方化树图布局算法
SSXCS：半监督学习分类系统
基于信息流的整数漏洞插装和验证
覆盖表生成的可配置贪心算法优化
多Agent 系统的上下文感知增强
一种角色分离的信任评估模型
一种面向无线传感网应用重编程的逻辑式编程语言
面向随机模型检验的模型抽象技术
浏览器权能监控技术研究
基于LDA主题模型的社会网络链接预测
基于参考图像的色粉画模拟
场景驱动的服务行为调控
Ki nec t扫描数据驱动的几何建模方法
结合SSFCM与随机游走的半监督图像分割算法
基于退火粒子群优化的单目视频人体姿态分析方法
一种基于正则化的半监督多标记学习方法
3维模型局部高度研究。
Quantum software framework： a tentative study