Sciweavers

1557 search results - page 113 / 312
» Evolution of Business Processes and a Process Simulation Too...
Sort
View
QEST
2006
IEEE
15 years 10 months ago
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
Frank Ciesinski, Christel Baier
CDVE
2004
Springer
120views Visualization» more  CDVE 2004»
15 years 9 months ago
Constructing a Global and Integral Model of Business Management Using a CBR System
Abstract. Knowledge has become the most strategic resource in the new business environment. A case-based reasoning system, which incorporates a novel clustering and retrieval metho...
Emilio Corchado, Juan M. Corchado, Lourdes S&aacut...
WSC
1998
15 years 5 months ago
Simulation Case Studies in the Print/Finish Industry
Process simulation is a powerful analysis tool used in many industries. It allows companies to be proactive in determining what strategies will be successful. For this reason, man...
Tim Curran, D. Michelle Benjamin, Sue Austin
TEC
2010
143views more  TEC 2010»
14 years 11 months ago
Active Categorical Perception of Object Shapes in a Simulated Anthropomorphic Robotic Arm
Active perception refers to a theoretical approach to the study of perception grounded on the idea that perceiving is a way of acting, rather than a process whereby the brain const...
Elio Tuci, Gianluca Massera, Stefano Nolfi
TON
2010
83views more  TON 2010»
15 years 2 months ago
Understanding and modeling the internet topology: economics and evolution perspective
Abstract—In this paper, we seek to understand the intrinsic reasons for the well-known phenomenon of heavy-tailed degree in the Internet AS graph and argue that in contrast to tr...
Xiaoming Wang, Dmitri Loguinov