5777 search results - page 286 / 1156 » The palladio component model |
227
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
190
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
194
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a generic architecture for developing fullyfledged autonomic systems out of non-autonomic components, and investigate how the architecture can be implemented using exi...
168
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a neuro-fuzzy system that can be used for student modeling. The proposed system enables classification of students based on qualitative observations of their c...
192
click to vote
DFMA
2005
IEEE
16 years 1 months ago
2005
IEEE
Video encoding is a fundamental component of a wide range of real-time multimedia applications. In this paper we present the fine grain MPEG-4 parallelism and describe a modellin...