Sciweavers

799 search results - page 98 / 160
» Handling Dynamic Schema Change in Process Models
Sort
View
IJSNET
2007
155views more  IJSNET 2007»
15 years 3 months ago
Distributed Bayesian fault diagnosis of jump Markov systems in wireless sensor networks
: A Bayesian distributed online change detection algorithm is proposed for monitoring a dynamical system by a wireless sensor network. The proposed solution relies on modelling the...
Hichem Snoussi, Cédric Richard
NC
2011
232views Neural Networks» more  NC 2011»
14 years 10 months ago
The effect of malformed tiles on tile assemblies within the kinetic tile assembly model
Many different constructions of proofreading tile sets have been proposed in the literature to reduce the effect of deviations from ideal behaviour of the dynamics of the molecular...
Ya Meng, Navin Kashyap
IANDC
2010
83views more  IANDC 2010»
15 years 1 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
FSTTCS
2005
Springer
15 years 8 months ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...
3DPVT
2002
IEEE
193views Visualization» more  3DPVT 2002»
15 years 8 months ago
Modeling shapes and textures from images: new frontiers
Increasingly, models of the world are directly built from images. The paper discusses a number of recent developments that try to push the enveloppe of what image-based modeling c...
Luc J. Van Gool, D. Vandemeulen, Gregor A. Kalbere...