4350 search results - page 10 / 870 » Case studies for contract-based systems |
SASO
2007
IEEE
14 years 4 months ago
2007
IEEE
The concept of self-organization is rapidly gaining importance in the area of distributed computing systems. However, we still lack the necessary means for engineering such system...
ECIS
2003
13 years 11 months ago
2003
Positivist, single case study is an important research approach within the information systems discipline. This paper provides detailed definitions of key concepts in positivist, ...
SERP
2007
13 years 11 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
ECMDAFA
2007
Springer
14 years 4 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
DATE
1999
IEEE
14 years 2 months ago
1999
IEEE
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...