448 search results - page 69 / 90 » A Meta-Method for Formal Method Integration |
141
Voted
JALC
2006
15 years 2 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
153
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
149
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...
97
Voted
PSIVT
2007
Springer
15 years 8 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...
149
Voted
ISSA
2004
15 years 4 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...