Sciweavers

3770 search results - page 370 / 754
» Building a Stochastic Dynamic Model of Application Use
Sort
View
IV
2003
IEEE
148views Visualization» more  IV 2003»
16 years 6 hour ago
Real-Time Expressive Rendering of City Models
City models have become central elements for visually communicating spatial information related to urban areas and have manifold applications. Our real-time orealistic rendering t...
Jürgen Döllner, Maike Walther
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 8 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
ICMAS
1998
15 years 8 months ago
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
This paper presents a generic meta-model of multi-agent systems based on organizational concepts such as groups, roles and structures. This model, called AALAADIN, defines a very ...
Jacques Ferber, Olivier Gutknecht
SAC
2008
ACM
15 years 6 months ago
Particle methods for maximum likelihood estimation in latent variable models
Standard methods for maximum likelihood parameter estimation in latent variable models rely on the Expectation-Maximization algorithm and its Monte Carlo variants. Our approach is ...
Adam M. Johansen, Arnaud Doucet, Manuel Davy
199
Voted
IFIP
2009
Springer
15 years 4 months ago
Model Checking of Security-Sensitive Business Processes
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
Alessandro Armando, Serena Elisa Ponta