1926 search results - page 277 / 386 » Modeling and Model Checking Software Product Lines |
155
click to vote
SIGGRAPH
2000
ACM
15 years 7 months ago
2000
ACM
Our goal is to embed free-form constraints into a graphical model. With such constraints a graphic can maintain its visual integrity--and break rules tastefully--while being manip...
130
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a swarm grammar system that makes use of bio-inspired mechanisms of reproduction, communication and construction in order to build three-dimensional struc...
159
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
131
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...
164
click to vote
TVLSI
2008
15 years 3 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...