2357 search results - page 160 / 472 » Computing Refactorings of Behavior Models |
156
click to vote
EMMCVPR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a new model for image decomposition which separates an image into a cartoon, consisting only of geometric objects, and an oscillatory component, consisting of ...
129
Voted
ANTSW
2008
Springer
15 years 6 months ago
2008
Springer
We implement a self-organized flocking behavior in a group of mobile robots and analyze its transition from an aligned state to an unaligned state. We briefly describe the robot an...
162
click to vote
SPLC
2008
15 years 6 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
115
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We discuss potential market mechanisms for the GRID. A complete dynamical model of a GRID market is defined with three types of agents. Providers, middlemen and users exchange uni...
139
Voted
IPL
2008
15 years 4 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...