5234 search results - page 703 / 1047 » Method Components - Rationale Revealed |
168
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
138
click to vote
IV
2000
IEEE
15 years 11 months ago
2000
IEEE
The goal to produce effective Optical Character Recognition (OCR) methods has lead to the development of a number of algorithms. The purpose of these is to take the hand-written o...
182
click to vote
VRST
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we present a new framework in Augmented Reality context for rapid evaluation of prototypes before manufacture. The design of such prototypes is a time consuming proc...
165
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
182
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...