1329 search results - page 196 / 266 » Constraint-based model synthesis |
144
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
194
click to vote
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
169
click to vote
AAAI
2000
15 years 7 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
168
click to vote
ECWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
176
click to vote
TMM
2002
15 years 5 months ago
2002
In this paper, we present a computational scene model and also derive novel algorithms for computing audio and visual scenes and within-scene structures in films. We use constraint...