15779 search results - page 2655 / 3156 » Change-oriented software engineering |
101
Voted
ICESS
2005
Springer
15 years 9 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...
165
Voted
ICESS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In ad hoc sensor networks, sensor nodes have very limited energy resources, thus energy consuming operations such as data collection, transmission and reception must be k...
125
Voted
ICESS
2005
Springer
15 years 9 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...
133
Voted
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
150
click to vote
ICFEM
2005
Springer
15 years 9 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...