714 search results - page 7 / 143 » Verification and Compliance Testing |
GC
2004
Springer
13 years 11 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
SPLC
2004
13 years 8 months ago
2004
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Visual compliance has emerged as a new paradigm to ensure that employees comply with processes and policies in a business context [1]. In this paper, we focus on videos from retai...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Most of robotic soft pads studied so far were made with a thick layer of homogeneous material shaped around a rigid core; their behavior has been widely investigated in the lit...