1415 search results - page 54 / 283 » Verified systems by composition from verified components |
198
click to vote
TSC
2008
15 years 6 months ago
2008
Web services are considered to be a potential silver bullet for the envisioned Service Oriented Architecture, in which loosely coupled software components are published, located, a...
161
click to vote
DSRT
2008
IEEE
16 years 23 days 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...
134
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
177
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
—Field-Programmable Gate Array (FPGA) technology is characterized by continuous improvements that provide new opportunities in system design. Multiprocessors-ona-Programmable-Chi...
147
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...