skip to main content
Show Results with:

Results 1 - 10 of 26  for Everything in this catalogue

results 1 2 3 next page
Refined by: journal title: Lecture notes in computer science remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

The Research on Optimizing Deployment Strategy for Aviation SWIM Application Servers

Zhang, Haitao; Wu, Zhijun

Lecture notes in computer science. Number 9227 (2015); pp 598-606 -- Springer

Check library holdings

2
Material Type:
Article
Add to My workspace

SMT-based Bounded Model Checking for Cooperative Software with a Deterministic Scheduler

Zhang, Haitao; Lu, Yonggang

Lecture notes in computer science. Number 10189 (2017); pp 181-200 -- Springer

Check library holdings

3
Material Type:
Article
Add to My workspace

Efficient Online Surveillance Video Processing Based on Spark Framework

Zhang, Haitao; Yan, Jin; Kou, Yue

Lecture notes in computer science. Number 9784 (2016); pp 309-320 -- Springer

Check library holdings

4
Material Type:
Article
Add to My workspace

Metadata Organization and Retrieval with Attribute Tree for Large-Scale Traffic Surveillance Videos

Tang, Yi; Zhang, Haitao; Xu, Bin

Lecture notes in computer science. Number 9196 (2015); pp 434-443 -- Springer

Check library holdings

5
Material Type:
Article
Add to My workspace

Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach

Zhang, Haitao et al.

Lecture notes in computer science. Number 10795 (2018); pp 51-68 -- Springer

Check library holdings

6
Material Type:
Article
Add to My workspace

A Case Study: SOFL + Model Checking for OSEK/VDX Application

Cheng, Zhuo et al.

Lecture notes in computer science. Number 9559 (2016); pp 132-146 -- Springer

Check library holdings

7
Material Type:
Article
Add to My workspace

Multi-resource Allocation for Virtual Machine Placement in Video Surveillance Cloud

Yang, Xianda et al.

Lecture notes in computer science. Number 9567 (2016); pp 544-555 -- Springer

Check library holdings

8
Material Type:
Article
Add to My workspace

A New Quantitative Evaluation Method for Fuzzing

Tan, Tiantian et al.

Lecture notes in computer science. Number 11633 (2019); pp 181-190 -- Springer

Check library holdings

9
Material Type:
Article
Add to My workspace

Covering Uncertain Points in a Tree

Wang, Haitao; Zhang, Jingru

Lecture notes in computer science. Number 10389 (2017); pp 557-568 -- Springer

Check library holdings

10
Material Type:
Article
Add to My workspace

Minimizing the Maximum Moving Cost of Interval Coverage

Wang, Haitao; Zhang, Xiao

Lecture notes in computer science. Number 9472 (2015); pp 188-200 -- Springer

Check library holdings

Results 1 - 10 of 26  for Everything in this catalogue

results 1 2 3 next page

Refine Search Results

Creation date 

From To

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Zhang, Haitao
  2. Wang, Haitao
  3. Yu, Haitao
  4. Lu, Yonggang
  5. Cheng, Zhuo

Searching Remote Databases, Please Wait