Sciweavers

21490 search results - page 624 / 4298
» Business Process Modeling
Sort
View
IEEEARES
2010
IEEE
16 years 1 months ago
Formalization of Viruses and Malware Through Process Algebras
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
Grégoire Jacob, Eric Filiol, Hervé D...
SAMOS
2009
Springer
16 years 1 months ago
Realizing FIFO Communication When Mapping Kahn Process Networks onto the Cell
Kahn Process Networks (KPN) are an appealing model of computation to specify streaming applications. When a KPN has to execute on a multi-processor platform, a mapping of the KPN m...
Dmitry Nadezhkin, Sjoerd Meijer, Todor Stefanov, E...
CCE
2006
15 years 7 months ago
Hierarchical multiscale model-based design of experiments, catalysts, and reactors for fuel processing
In this paper a hierarchical multiscale simulation framework is outlined and experimental data injection into this framework is discussed. Specifically, we discuss multiscale mode...
D. G. Vlachos, A. B. Mhadeshwar, N. S. Kaisare
JAIR
2008
138views more  JAIR 2008»
15 years 7 months ago
Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
Ya'akov Gal, Avi Pfeffer
IFIP12
2009
15 years 4 months ago
Managing Diagnosis Processes with Interactive Decompositions
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
Quang-Huy Giap, Stéphane Ploix, Jean-Marie ...