4451 search results - page 87 / 891 » Continuous model synthesis |
149
click to vote
BPM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
152
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
126
click to vote
ICCD
2007
IEEE
15 years 9 months ago
2007
IEEE
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module a...
155
click to vote
HICSS
2010
IEEE
16 years 8 days ago
2010
IEEE
Social virtual worlds (SVWs) have become increasingly important environments for social interaction, especially for the younger generations. For SVWs to be economically sustainabl...
169
click to vote
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...