Sciweavers

652 search results - page 30 / 131
» On the behavioural dimension of correspondences between proc...
Sort
View
FM
2009
Springer
106views Formal Methods» more  FM 2009»
14 years 2 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
EWSPT
1998
Springer
13 years 11 months ago
Fuzzy Dynamics in Software Project Simulation and Support
Established simulation techniques require quantification of relevant aspects of the entity whose behaviour is being investigated. The data expressing the quantification provides a ...
Juan F. Ramil, M. M. Lehman
CEC
2009
IEEE
14 years 4 days ago
LoCost: A spatial social network algorithm for multi-objective optimisation
—Particle Swarm Optimisation (PSO) is increasingly being applied to optimisation of problems in engineering design and scientific investigation. While readily adapted to singleo...
Andrew Lewis
JIKM
2002
118views more  JIKM 2002»
13 years 7 months ago
Organizational Culture and Knowledge Management
This paper proposes the integration of The Competing Values Framework (Quinn 1984; 1988) with Nonaka and Takeuchi's (1995) knowledge creation and conversion model. Conceptual...
Thou Tin Lim
ICDM
2007
IEEE
149views Data Mining» more  ICDM 2007»
14 years 1 months ago
Temporal Analysis of Semantic Graphs Using ASALSAN
ASALSAN is a new algorithm for computing three-way DEDICOM, which is a linear algebra model for analyzing intrinsically asymmetric relationships, such as trade among nations or th...
Brett W. Bader, Richard A. Harshman, Tamara G. Kol...