3387 search results - page 578 / 678 » Automating the Metamodeling Process |
147
Voted
IJSEKE
2006
15 years 5 months ago
2006
hibiting the characteristics of abstraction, encapsulation, genericity, inheritance, polymorphism, concurrency and exception handling. To address the difficulty of testing the feat...
154
Voted
IJSEKE
2006
15 years 5 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
156
Voted
CORR
2007
Springer
15 years 5 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...
141
Voted
JWSR
2008
15 years 5 months ago
2008
: Web Services can be used to automate business activities that span multiple enterprises over the Internet. Such business activities require a coordination protocol to reach consi...
147
Voted
ECRA
2007
15 years 4 months ago
2007
Online auctions are rapidly becoming one of the significant forms of electronic commerce for buying and selling goods and services. A good understanding of the workload of auctio...