4350 search results - page 192 / 870 » Case studies for contract-based systems |
161
click to vote
EKNOW
2009
15 years 2 months ago
2009
As organizations change, their information systems can evolve from simple systems to complex systems, which are hard to understand, and therefore hard to maintain or extend. Proces...
143
click to vote
IWSOS
2009
Springer
15 years 11 months ago
2009
Springer
Self-organization, whereby through purely local interactions, global order and structure emerge, is studied broadly across many fields of science, economics, and engineering. We ...
145
click to vote
AOSE
2003
Springer
15 years 9 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
199
click to vote
SIES
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
117
click to vote
PAAMS
2010
Springer
15 years 2 months ago
2010
Springer
In this study, a new organization based system for forest fires prediction is presented. It is an Organization Based System for Forest Fires Forecasting (OBSFFF). The core of the s...