853 search results - page 116 / 171 » A supporting system for verification among models of the UML |
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
EMFGormas1 is a new approach for modeling Service-oriented Open Multiagent Systems using the MDA Eclipse Technology. It offers a CASE tool based on an unified meta-model for engin...
EDOC
2005
IEEE
14 years 1 months ago
2005
IEEE
The web services architecture came as answers to the search for interoperability among applications. In recent years there has been a growing interest in deploying on the Internet...
HPCA
2005
IEEE
14 years 8 months ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
COOPIS
1998
IEEE
14 years 3 days ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...