2608 search results - page 225 / 522 » Subjects, Models, Languages, Transformations |
199
click to vote
ATVA
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
187
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
154
click to vote
WSC
1998
15 years 7 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
200
click to vote
JWSR
2008
15 years 6 months ago
2008
: Service Oriented Architecture (SOA) is an emerging style of software architectures to reuse and integrate existing systems for designing new applications. Each application is des...
166
click to vote
CIKM
2007
Springer
16 years 21 days ago
2007
Springer
Dictionary-based approaches to query translation have been widely used in Cross-Language Information Retrieval (CLIR) experiments. Using these approaches, translation has been not...