Sciweavers

9698 search results - page 14 / 1940
» models 2010
Sort
View
DPD
2010
105views more  DPD 2010»
15 years 6 months ago
Beyond soundness: on the verification of semantic business process models
Ingo Weber, Jörg Hoffmann, Jan Mendling
133
Voted
EAAI
2010
87views more  EAAI 2010»
15 years 6 months ago
Artificial bee colony algorithm for small signal model parameter extraction of MESFET
Samrat L. Sabat, Siba K. Udgata, Ajith Abraham
98
Voted
ENTCS
2010
86views more  ENTCS 2010»
15 years 6 months ago
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map
Michael Hauhs, Baltasar Trancón-y-Widemann
ENTCS
2010
89views more  ENTCS 2010»
15 years 6 months ago
Categorical Models for Simply Typed Resource Calculi
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzon...