373 search results - page 3 / 75 » MARTE-based Design of a Multimedia Application and Formal An... |
ICECCS
2009
IEEE
14 years 2 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
MSE
2002
IEEE
14 years 19 days ago
2002
IEEE
This paper presents the study of running several core multimedia applications on a simultaneous multithreading (SMT) architecture and derives design principles for multimedia soft...
ANSS
2002
IEEE
14 years 21 days ago
2002
IEEE
Since TCP is considered unsuitable for the majority of the emerging multimedia applications, these applications primarily use UDP transport together with proprietary congestion co...
FCA
2005
Springer
14 years 1 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...