853 search results - page 94 / 171 » A supporting system for verification among models of the UML |
DSN
2005
IEEE
13 years 9 months ago
2005
IEEE
In general, decision support is one of the main purposes of model-based analysis of systems. Response surface methodology (RSM) is an optimization technique that has been applied ...
NETWORKING
2008
13 years 9 months ago
2008
Content delivery providers can improve their service scalability and offload their servers by making use of content transfers among their clients. To provide peers with incentive t...
IASTEDSEA
2004
13 years 9 months ago
2004
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...
ICEIS
2000
IEEE
14 years 9 days ago
2000
IEEE
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...
FUIN
2006
13 years 8 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...