4350 search results - page 193 / 870 » Case studies for contract-based systems |
155
click to vote
IFM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
160
click to vote
CISIS
2009
IEEE
15 years 2 months ago
2009
IEEE
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
173
click to vote
ECBS
2011
IEEE
14 years 4 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
142
click to vote
FAST
2009
15 years 2 months ago
2009
The performance of file systems and related software depends on characteristics of the underlying file-system image (i.e., file-system metadata and file contents). Unfortunately, ...
165
click to vote
KES
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a case study in which the OVAMAH architecture is applied in order to obtain a multi-agent system (MAS) that can provide assistance and health care for Alzheimer...