1383 search results - page 151 / 277 » Computational Mechanisms for Distributed Requirements Engine... |
152
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
135
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
157
click to vote
UIST
2000
ACM
15 years 9 months ago
2000
ACM
Because of its promise of natural interaction, recognition is coming into its own as a mainstream technology for use with computers. Both commercial and research applications are ...
142
Voted
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
124
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a analytical framework to identify the tradeoffs and performance impacts associated with different SoC platform configurations in the specific context of implementing m...