652 search results - page 56 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
135
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Belief propagation methods are the state-of-the-art with multi-sensor state localization problems. However, when localization applications have to deal with multi-modality sensors...
142
click to vote
SIAMAM
2008
15 years 6 months ago
2008
We consider the five-component Meinhardt-Gierer model for mutually exclusive patterns and segmentation which was proposed in [11]. We prove rigorous results on the existence and st...
181
click to vote
ASE
2006
15 years 6 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
174
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
147
click to vote
ERLANG
2006
ACM
15 years 12 months ago
2006
ACM
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...