209 search results - page 13 / 42 » A Semantic Feature Model in Concurrent Engineering |
CBRMD
2010
13 years 5 months ago
2010
Abstract. Clinical research significantly contributes to the better understanding of diseases and their treatment. Physicians, however, could not take fully advantage of the result...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
SMA
1993
ACM
13 years 11 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
PASTE
2010
ACM
14 years 18 days ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...