2741 search results - page 427 / 549 » Designing Law-Compliant Software Requirements |
182
click to vote
EGC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Grid technology attempts to support flexible, secure, coordinated information sharing among dynamic collections of individuals, institutions, and resources. The use of G...
121
click to vote
EMSOFT
2005
Springer
15 years 12 months 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,...
137
click to vote
ICESS
2005
Springer
15 years 12 months 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...
157
click to vote
ICESS
2005
Springer
15 years 12 months 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...
149
click to vote
ISSAC
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...