1454 search results - page 255 / 291 » Stateful traits and their formalization |
91
Voted
ICFP
2006
ACM
16 years 23 days ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
108
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
105
click to vote
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
Movement patterns of individual entities at the geographic scale are becoming a prominent research focus in spatial sciences. One pertinent question is how cognitive and formal cha...
85
Voted
PSIVT
2007
Springer
15 years 7 months ago
2007
Springer
This paper considers the problem of Bayesian inference in dynamical models with time-varying dimension. These models have been studied in the context of multiple target tracking pr...
111
click to vote
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...