Sciweavers

7557 search results - page 657 / 1512
» Modeling Timed Concurrent Systems
Sort
View
DAGSTUHL
2007
15 years 8 months ago
An analytic solution to the alibi query in the bead model for moving object data
Abstract. Moving objects produce trajectories, which are stored in databases by means of finite samples of time-stamped locations. When also speed limitations in these sample poin...
Bart Kuijpers, Walied Othman
ECIS
2001
15 years 8 months ago
Modelling IS successions in e commerce
The paper considers the conditions governing the diffusion and development of e-commerce. The analysis builds on earlier discussions of technological successions and explores a nu...
Paul Windrum, Chris Birchenhall, Ray Hackney
ENTCS
2007
101views more  ENTCS 2007»
15 years 7 months ago
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
Heiko Koziolek, Viktoria Firus
GI
2009
Springer
15 years 5 months ago
Coarse graining of an individual-based plant model
: The evolution and structuring of plant communities is governed by local plant-to-plant interaction. It has been shown that the individual variability of the organisms and the spa...
Johannes Hoefener, Lars Rudolf, Uta Berger, Thilo ...
ATAL
2006
Springer
15 years 11 months ago
Modeling uncertain domains with polyagents
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...
H. Van Dyke Parunak, Sven Brueckner