1669 search results - page 108 / 334 » Modeling ODP Computational Specifications Using UML |
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
LAWEB
2003
IEEE
14 years 2 months ago
2003
IEEE
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...
ASM
2008
ASM
13 years 11 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
SCCC
1998
IEEE
14 years 1 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
CLOUDCOM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...