5457 search results - page 683 / 1092 » Clinical requirements engineering |
172
click to vote
ICESS
2005
Springer
16 years 1 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...
196
click to vote
ICESS
2005
Springer
16 years 1 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...
209
click to vote
ICFEM
2005
Springer
16 years 1 months 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...
199
click to vote
ICSOC
2005
Springer
16 years 1 months ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
216
click to vote
ISNN
2005
Springer
16 years 1 months ago
2005
Springer
Load forecasting has become in recent years one of the major areas of research in electrical engineering. In a deregulated, competitive power market, utilities tend to maintain the...