Sciweavers

19936 search results - page 342 / 3988
» Inductive 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...
STEP
2005
IEEE
16 years 9 days ago
Software Process Improvement, Quality Assurance and Measurement
The article focuses on a problem software companies often face: the need to choose a software quality model that, besides being auditable, ensures the connection of quality goals ...
Jos J. M. Trienekens, Rob J. Kusters, Katalin Ball...
CCE
2006
15 years 6 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 6 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