5777 search results - page 307 / 1156 » The palladio component model |
203
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
178
click to vote
ACL
2004
15 years 8 months ago
2004
We present a generative model for the unsupervised learning of dependency structures. We also describe the multiplicative combination of this dependency model with a model of line...
228
Voted
EMSOFT
2003
Springer
16 years 20 days ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
174
click to vote
COMCOM
2002
15 years 7 months ago
2002
Resource ReSerVation Protocol (RSVP) was developed as an intended key component for the evolving Internet, and in particular for the Integrated Services architecture. Therefore, R...
201
Voted
ENTCS
2002
15 years 7 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...