4636 search results - page 357 / 928 » Modelling and Validation with VipTool |
149
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— At the forefront of the recent advances in mobile networks is the development of sophisticated mobility management mechanisms that are usually based on Mobile IP and its deriva...
140
click to vote
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
A novel video object segmentation method is proposed which aims at combining color and motion information. The model has a multilayer structure: Each feature has its own layer, cal...
133
click to vote
BIBE
2005
IEEE
15 years 10 months ago
2005
IEEE
Prediction of protein tertiary structure based on amino acid sequence is one of the most challenging open questions in computational molecular biology. The two most common experim...
142
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
A picture archiving and communications system (PACS) is an integrated workflow system for managing images and related data which is designed to streamline operations throughout th...
133
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...