Sciweavers

2232 search results - page 19 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
BIOSTEC
2008
107views Healthcare» more  BIOSTEC 2008»
13 years 8 months ago
Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management
Mark Hoogendoorn, Michel C. A. Klein, Zulfiqar A. ...
FOIS
2001
13 years 8 months ago
An enriched knowledge model for formal ontological analysis
Valentina A. M. Tamma, Trevor J. M. Bench-Capon
CCS
2010
ACM
13 years 7 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
13 years 5 months ago
Formal Analysis in Model Management: Exploiting the Power of CZT
James R. Williams, Fiona A. C. Polack, Richard F. ...
ATAL
2007
Springer
14 years 1 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...