Sciweavers

886 search results - page 74 / 178
» Modelling multiple mind-matter interaction
Sort
View
IEEEIAS
2007
IEEE
15 years 9 months ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
WSC
2008
15 years 5 months ago
Aggregated 3D-visualization of a distributed simulation experiment of a queuing system
The paper describes an approach for an aggregated animation of a simulation experiment in an interactive 3D environment, visualizing multiple, distributed simulation runs. Althoug...
Wilhelm Dangelmaier, Matthias Fischer, Daniel Hube...
ICIP
2002
IEEE
16 years 4 months ago
Long term tracking using Bayesian networks
This paper addresses long term tracking of multiple objects with occlusions. Bayesian networks are used to model the interaction among the detected tracks and for conflict managem...
Arnaldo J. Abrantes, João Miranda Lemos, Jo...
102
Voted
ECBS
2009
IEEE
120views Hardware» more  ECBS 2009»
15 years 10 months ago
Tuning Complex Sensornet Systems Using Principled Engineering Methods
Sensornet lifespan and utility is limited by the energy resources of individual motes. Network designers seek to maximise energy efficiency while maintaining acceptable Quality o...
Jonathan Tate, Iain Bate
VAMOS
2010
Springer
15 years 4 months ago
Automating the Configuration of Multi Software Product Lines
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
Marko Rosenmüller, Norbert Siegmund