Sciweavers

2232 search results - page 19 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
54
Voted
BIOSTEC
2008
107views Healthcare» more  BIOSTEC 2008»
14 years 11 months ago
Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management
Mark Hoogendoorn, Michel C. A. Klein, Zulfiqar A. ...
FOIS
2001
14 years 11 months ago
An enriched knowledge model for formal ontological analysis
Valentina A. M. Tamma, Trevor J. M. Bench-Capon
CCS
2010
ACM
14 years 9 months ago
Inference and analysis of formal models of botnet command and control protocols
Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shi...
ASM
2010
ASM
14 years 7 months ago
Formal Analysis in Model Management: Exploiting the Power of CZT
James R. Williams, Fiona A. C. Polack, Richard F. ...
ATAL
2007
Springer
15 years 3 months ago
Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
Antônio Carlos da Rocha Costa, Graçal...