2324 search results - page 314 / 465 » Benchmark Generation Using Domain Specific Modeling |
80
Voted
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
81
Voted
ATVA
2009
Springer
15 years 2 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 ...
97
Voted
RIAO
2000
14 years 11 months ago
2000
In this paper, we present an approach for speaker change detection in broadcast video using joint audio-visual scene change statistics. Our experiments indicate that using joint a...
100
click to vote
JODL
2000
14 years 10 months ago
2000
We propose an electronic marketplace architecture, called MOPPET, where the commerce processes in the marketplace are modeled as adaptable agent-based workflows. The higher level ...
92
Voted
ICEBE
2007
IEEE
15 years 4 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...