5182 search results - page 668 / 1037 » COTS-Based Requirements Engineering |
137
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
141
click to vote
ERCIMDL
2005
Springer
16 years 9 days ago
2005
Springer
XML is becoming the standard representation format for metadata. Metadata for multimedia documents, as for instance MPEG-7, require approximate match search functionalities to be s...
145
click to vote
ICESS
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
165
click to vote
ICESS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
187
click to vote
ICFEM
2005
Springer
16 years 8 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...