2960 search results - page 124 / 592 » The Culture Based Model: Constructing a Model of Culture |
136
click to vote
ITNG
2006
IEEE
16 years 8 days ago
2006
IEEE
A heterogeneous community of practice spans many disciplines, industries and professions. Members of these communities are united by common research, products and experiences but ...
190
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
158
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
169
click to vote
MICAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
169
click to vote
WSC
2007
15 years 8 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...