3161 search results - page 38 / 633 » Documenting framework behavior |
122
click to vote
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
106
click to vote
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
104
click to vote
CN
1998
15 years 1 months ago
1998
The MEMOIR project supports researchers working with a vast quantity of distributed information, by assisting them in finding both relevant documents and researchers with related ...
134
click to vote
CIA
2007
Springer
15 years 8 months ago
2007
Springer
We introduce the Consensual N-Player Prisoner’s Dilemma as a large-scale dilemma. We then present a framework for cooperative consensus formation in large-scale MAS under the N-P...
119
click to vote
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...