881 search results - page 52 / 177 » Specification and Design Considerations for Reliable Embedde... |
DAC
2007
ACM
15 years 11 months ago
2007
ACM
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
ENTCS
2010
14 years 10 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...