1900 search results - page 188 / 380 » The Four Phase Method for Modelling Complex Systems |
113
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...
129
Voted
AIPS
2003
15 years 4 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
176
click to vote
ESANN
2004
15 years 4 months ago
2004
This work focuses on one of the most critical issues to plague the wireless telecommunications industry today: the loss of a valuable subscriber to a competitor, also defined as ch...
125
click to vote
ASPLOS
2000
ACM
15 years 7 months ago
2000
ACM
Simulation is the primary method for evaluating computer systems during all phases of the design process. One significant problem with simulation is that it rarely models the syst...
103
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...