1329 search results - page 129 / 266 » Constraint-based model synthesis |
146
click to vote
SIGGRAPH
1998
ACM
15 years 8 months ago
1998
ACM
A perceptually based approach for selecting image samples has been developed. An existing image processing vision model has been extended to handle color and has been simplified ...
140
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
144
click to vote
ESANN
2008
15 years 6 months ago
2008
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...
135
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
114
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...