1718 search results - page 175 / 344 » Modeling and testing of cloud applications |
126
click to vote
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
148
click to vote
SBACPAD
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
146
click to vote
DAGM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract In this paper we extend a multi-camera model for simultaneous estimation of 3d position, normals, and 3d motion of surface patches [17] to be able to handle brightness cha...
161
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
134
click to vote
ICMLA
2008
15 years 5 months ago
2008
High dimensionality of belief space in Partially Observable Markov Decision Processes (POMDPs) is one of the major causes that severely restricts the applicability of this model. ...