Sciweavers

714 search results - page 51 / 143
» Verification and Compliance Testing
Sort
View
ROBIO
2006
IEEE
106views Robotics» more  ROBIO 2006»
14 years 4 months ago
A Motion Controller for Compliant Four-Wheel-Steering Robots
— This paper proposes a behaviour-based approach for the motion control problem of sustainable and compliant Four-Wheel-Steering robots. Each wheel is considered to be an indepen...
Pedro F. Santana, Carlos Cândido, Vasco Sant...
ADAEUROPE
2010
Springer
14 years 2 months ago
Practical Limits on Software Dependability: A Case Study
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...
Patrick J. Graydon, John C. Knight, Xiang Yin
ICASSP
2010
IEEE
13 years 10 months ago
Automatic detection of well sampled images via a new ringing measure
According to Shannon Sampling Theory, Fourier interpolation is the optimal way to reach subpixel accuracy from a properly-sampled digital image. However, for most images this inte...
Gwendoline Blanchet, Lionel Moisan, Bernard Roug&e...
MMS
2008
13 years 10 months ago
COSMOROE: a cross-media relations framework for modelling multimedia dialectics
Though everyday interaction is predominantly multimodal, a purpose-developed framework for describing the semantic interplay between verbal and non-verbal communication is still la...
Katerina Pastra
TISSEC
2002
82views more  TISSEC 2002»
13 years 9 months ago
Trust management for IPsec
IPsec is the standard suite of protocols for networklayer confidentiality and authentication of Internet traffic. The IPsec protocols, however, do not address the policies for how...
Matt Blaze, John Ioannidis, Angelos D. Keromytis