Sciweavers

19367 search results - page 453 / 3874
» Fine-Grain Process Modelling
Sort
View
117
Voted
IWDW
2005
Springer
15 years 10 months ago
Digital Watermarking Robustness and Fragility Characteristics: New Modelling and Coding Influence
Marcos de Castro Pacitti, Weiler Alves Finamore
132
Voted
UML
2004
Springer
15 years 10 months ago
Automated Verification of UMLsec Models for Security Requirements
Jan Jürjens, Pasha Shabalin
120
Voted
FDL
2003
IEEE
15 years 10 months ago
Combining Formal Refinement and Model Checking for Real-Time Systems Verification
Alexander Krupp, Wolfgang Müller 0003
174
Voted
JMLR
2010
150views more  JMLR 2010»
14 years 11 months ago
Approximate parameter inference in a stochastic reaction-diffusion model
We present an approximate inference approach to parameter estimation in a spatio-temporal stochastic process of the reaction-diffusion type. The continuous space limit of an infer...
Andreas Ruttor, Manfred Opper