3199 search results - page 400 / 640 » Variability in Automation System Models |
182
click to vote
APLAS
2005
ACM
16 years 9 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
176
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
Cholera (Vibrio cholerae) is endemic in southern Africa and frequently breaks out in epidemics along the eastern seaboard. Extensive resources are directed at combating cholera ye...
197
click to vote
PRDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
142
click to vote
AUSAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Programmers employing inference in Bayesian networks typically rely on the inclusion of the model as well as an inference engine into their application. Sophisticated inf...
154
Voted
PVM
2004
Springer
16 years 3 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...