480 search results - page 80 / 96 » On the verification of automotive protocols |
164
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
In this paper, we propose a novel generative approach for face authentication, based on a Local Binary Pattern (LBP) description of the face. A generic face model is considered as ...
145
click to vote
COMPSAC
2006
IEEE
16 years 4 days ago
2006
IEEE
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
152
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
137
click to vote
ARC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents the very first implementation of a HyperTransport 3 physical layer interface for Field Programmable Gate Arrays. HyperTransport is a low latency, high...
147
click to vote
CBSE
2009
Springer
15 years 10 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...