2232 search results - page 110 / 447 » Formal Modeling and Analysis of Organizations |
156
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
Considering the available body of literature on continuous EDAs, one must state that many important questions are still unanswered, e.g.: How do continuous EDAs really work, and h...
178
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
171
click to vote
DEXAW
2005
IEEE
16 years 2 days ago
2005
IEEE
Software organizations follow capability models in order to aggregate quality to their processes and products. Process measurement and analysis are key issues, but their implement...
151
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
In this paper we present control patterns for the analysis and design of administrative control mechanisms in a network organization. A control pattern is a description of a generi...
163
click to vote
IAT
2003
IEEE
15 years 11 months ago
2003
IEEE
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...