2407 search results - page 398 / 482 » A Tool for Abstraction in Model Checking |
DATE
2007
IEEE
15 years 4 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...
MICAI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper we utilize information theory to study the impact in learning performance of various motivation and environmental configurations. This study is done within...
TCC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. A protocol compiler is described, that transforms any provably secure authenticated 2-party key establishment into a provably secure authenticated group key establishment...
QSIC
2006
IEEE
15 years 3 months ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...