21430 search results - page 388 / 4286 » Abstract Effective Models |
168
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
169
click to vote
OTM
2004
Springer
16 years 2 days ago
2004
Springer
The objective of the Ph.D. work discussed in this paper is to define a methodology for the design of distributed applications, in line with the ModelDriven Architecture (MDA). An i...
157
click to vote
TGC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
140
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents a Unified Enterprise Modeling Language (UEML) and a set of mappings which support translating models represented under an Enterprise Modeling Language into anot...
165
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...