1501 search results - page 61 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
106
click to vote
ESWA
2008
15 years 3 months ago
2008
Video question answering aims to pinpoint answers in response to user's specified questions. However, most question answering technologies involve in integrating rich specifi...
140
Voted
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes autonomic or organic computing principles to be applied to hardware design methods for future SoC solutions. Incorporating self-calibration, fault tolerance or...
126
click to vote
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
124
Voted
SUTC
2010
IEEE
15 years 2 months ago
2010
IEEE
We consider a team of mobile agents where a leader has to monitor battery levels of all other agents. Only the leader is capable to transmit information to other agents. Every now...
114
click to vote
WOTUG
2007
15 years 4 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...