686 search results - page 84 / 138 » Automatic Model Generation Strategies for Model Transformati... |
108
click to vote
JSA
2008
14 years 11 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
RTAS
2005
IEEE
15 years 5 months ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...
101
click to vote
FUZZY
1997
Springer
15 years 4 months ago
1997
Springer
Today many kinds of postprocessing are used in digital TV receivers or multimedia terminals for video signals to enhance the picture quality. To achieve this the properties of hum...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
One of the characteristicsof object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence...
ISF
2007
14 years 11 months ago
2007
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...