1454 search results - page 255 / 291 » Stateful traits and their formalization |
150
click to vote
ICFP
2006
ACM
16 years 6 months 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...
184
click to vote
KBSE
2009
IEEE
16 years 1 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 ...
175
click to vote
COSIT
2009
Springer
16 years 26 days 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...
149
click to vote
PSIVT
2007
Springer
16 years 12 days 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...
168
click to vote
SPIN
2007
Springer
16 years 12 days 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...