2357 search results - page 179 / 472 » Computing Refactorings of Behavior Models |
129
click to vote
MST
2008
15 years 4 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
128
click to vote
PERVASIVE
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents novel methodologies for the analysis of continuous cellular tower data from 215 randomly sampled subjects in a major urban city. We demonstrate the potential of...
114
click to vote
ICCSA
2005
Springer
15 years 10 months ago
2005
Springer
We present a technique for rendering animated 3D models in a Su-Muk painting style with user’s guide. First, a user can sketch directly over 3D models by varying ink and water va...
142
click to vote
CA
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a simple, linear 3D cellular automata approach for animating the melting process of solid volumetric models. Accurate modelling of object melting usually requires compl...
115
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
This paper develops analytic models that characterize the behavior of on-demand stored media content delivery using BitTorrent-like protocols. The models capture the effects of di...