4350 search results - page 332 / 870 » Case studies for contract-based systems |
157
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we propose a UML/MDA approach, called MoPCoM methodology, to design high quality real-time embedded systems. We have defined a set of rules to build UML models fo...
245
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed systems such as Peer-to-Peer overlays have been shown to efficiently support the processing of range queries over large numbers of participating hosts. In such system...
188
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
157
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Many reverse engineering approaches have been developed to analyze software systems written in different languages like C/C++ or Java. These approaches typically rely on a meta-mo...
179
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...