853 search results - page 99 / 171 » A supporting system for verification among models of the UML |
MM
2005
ACM
14 years 1 months ago
2005
ACM
Multi-party voice-over-IP (MVoIP) services provide economical and natural group communication mechanisms for many emerging applications such as on-line gaming, distance collaborat...
DATE
1999
IEEE
14 years 6 days 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...
ICCAD
1994
IEEE
14 years 15 hour ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we present a generic interconnect fabric for transaction level modelling tackeling three major aspects. First, a review of the bus and IO structures that we have ana...
COOPIS
2002
IEEE
14 years 26 days ago
2002
IEEE
Current e-service technology paradigms require the analysis and conceptual modeling of cooperative inter-organizational workflows. Cooperation among different organizations is base...