2570 search results - page 104 / 514 » Reliability Modeling Using UML |
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Modeling languages like UML or EMF support textual constraints written in OCL. OCL allows the developer to use various collec
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
This is a supplementary document for explaining what we could not contain in the main paper. I. BASIC FUNCTIONS AND NOTATIONS In this section, we first define some useful functi...
ECWEB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...