Sciweavers

77016 search results - page 111 / 15404
» Modeling Modeling
Sort
View
PODS
1990
ACM
148views Database» more  PODS 1990»
15 years 6 months ago
Stable Models and Non-Determinism in Logic Programs with Negation
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
Domenico Saccà, Carlo Zaniolo
116
Voted
SAC
2009
ACM
15 years 9 months ago
Collaborative modeling of business processes: a comparative case study
We study collaborative modeling of business processes with respect to the impact of tool support on the modeling process. For this purpose we compared model quality and modeling c...
Peter Rittgen
107
Voted
CSREASAM
2006
15 years 4 months ago
Stochastic Modeling of Worm Propagation in Trusted Networks
- There are two types of models useful in the study of worm propagation for a given number of terminals in a trusted network i.e. deterministic and stochastic model. The determinis...
Vivek Kumar Sehgal
ISCAS
2003
IEEE
101views Hardware» more  ISCAS 2003»
15 years 7 months ago
A 5th order Volterra study of a 30W LDMOS power amplifier
A 30 W LDMOS is modeled using a 5th order polynomial model. The polynomial model is compared to the largesignal MET model using harmonic balance, and as the results agreed very we...
Antti Heiskanen, Janne Aikio, Timo Rahkonen
89
Voted
MODELS
2009
Springer
15 years 9 months ago
Test-Driven Development of Model Transformations
Pau Giner, Vicente Pelechano
« Prev « First page 111 / 15404 Last » Next »