3742 search results - page 303 / 749 » On the Use of Formal Techniques for Validation |
172
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose a design of a client reputation system that can be used to reduce unwanted traffic in the Internet. Many reputation systems proposed in the trust literature are provid...
187
Voted
ROBOTICA
2006
15 years 6 months ago
2006
The paper considers a technique for computation of the inverse kinematic model of the human arm for robot based rehabilitation that uses measurements of the hand position and orie...
168
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: Robustness of mathematical models of biochemical networks is important for validation purposes and can be used as a means of selecting between different competing mode...
174
click to vote
TCAD
2010
15 years 1 months ago
2010
PSP and the backward propagation of variance (BPV) method are used to characterize the statistical variations of metal-oxide-semiconductor field effect transistors (MOSFETs). BPV s...
204
click to vote
CGF
2008
15 years 6 months ago
2008
Most graph visualization techniques focus on the structure of graphs and do not offer support for dealing with node attributes and edge labels. To enable users to detect relations...