9305 search results - page 359 / 1861 » Modeling Blog Dynamics |
169
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
We describe an approach for determining potentially visible sets in dynamic architectural models. Our scheme divides the models into cells and portals, computing a conservative es...
205
click to vote
WSC
2008
15 years 9 months ago
2008
Typically, system dynamics-based simulations of business processes are constructed in an ad hoc manner, with a modeler creating low-level components and defining interrelationship...
151
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
184
click to vote
JOT
2008
15 years 6 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
194
click to vote
JMIV
2006
15 years 6 months ago
2006
In image motion analysis as well as for several application fields like daily pluviometry data modeling, observations contain two components of different nature. A first part is ma...