1312 search results - page 135 / 263 » Embedded contract languages |
136
click to vote
VL
2003
IEEE
15 years 8 months ago
2003
IEEE
The object-oriented modeling of interactive multimedia applications in the OMMMA approach is designed to enable multimedia software developers to create comprehensive analysis and...
120
Voted
SBCCI
2003
ACM
15 years 8 months ago
2003
ACM
IP reuse is essential in embedded SoC design. IP components may be described in different modeling languages and present heterogeneous interfaces. The Tangram environment supports...
112
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
JLP
2008
15 years 3 months ago
2008
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
137
click to vote
LOGCOM
2007
15 years 3 months ago
2007
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...