4270 search results - page 61 / 854 » A Permutation Approach to Validation |
151
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
154
click to vote
ANTSW
2010
Springer
15 years 1 months ago
2010
Springer
Division of labour in multi-robot systems or multi-robot task allocation (MRTA) is a challenging research issue. We propose to solve this MRTA problem using a set of previously pub...
141
click to vote
ICCD
2001
IEEE
16 years 1 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
125
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We investigate the reliability of radio channel simulators in capturing the important properties of radio channels throughout a well-specified environment. Indoor envir...
116
click to vote
HAPTICS
2006
IEEE
15 years 10 months ago
2006
IEEE
The design of usable haptic icons (brief informational signals delivered through the sense of touch) requires a tool for measuring perceptual distances between icons that will be ...