Sciweavers

3082 search results - page 48 / 617
» Deviation Analysis: A New Use of Model Checking
Sort
View
ISPAN
2002
IEEE
15 years 10 months ago
A New Parallel Genetic Algorithm
One problem of propagating the globally fittest individual via neighbourhood evolving in both island model and cellular model of existing parallel genetic algorithms (PGA) is that...
Ling Tan, David Taniar, Kate A. Smith
CVPR
2010
IEEE
16 years 1 months ago
A New Texture Descriptor Using Multifractal Analysis in Multi-orientation Wavelet Pyramid
Based on multifractal analysis in wavelet pyramids of texture images, a new texture descriptor is proposed in this paper that implicitly combines information from both spatial and...
Yong Xu, Xiong Yang, Haibin Ling, Hui Ji
SP
2006
IEEE
177views Security Privacy» more  SP 2006»
15 years 11 months ago
FIREMAN: A Toolkit for FIREwall Modeling and ANalysis
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
Lihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, C...
FDL
2003
IEEE
15 years 10 months ago
A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using a...
Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt
ICST
2008
IEEE
15 years 12 months ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim