2232 search results - page 30 / 447 » Formal Modeling and Analysis of Organizations |
KES
2006
Springer
14 years 9 months ago
2006
Springer
Groups of collaborative agents within organizations need to achieve goals creating group awareness. This is necessary for groups to act as single entities. The notion of collective...
OR
2010
Springer
14 years 8 months ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...
101
click to vote
AGTIVE
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
ASIAN
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...