597 search results - page 74 / 120 » E-Process Design and Assurance Using Model Checking |
152
Voted
TCAD
2010
14 years 9 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
145
Voted
ASM
2010
ASM
15 years 9 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
102
click to vote
MKWI
2008
15 years 4 months ago
2008
: An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented. The vision ...
132
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
119
Voted
TSE
2011
14 years 9 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...