12981 search results - page 492 / 2597 » Model Checking (Abstract) |
119
Voted
TSMC
2010
14 years 11 months ago
2010
Abstract--Takagi
135
click to vote
WCRE
2007
IEEE
15 years 11 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...
133
Voted
OTM
2004
Springer
15 years 10 months 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...
126
click to vote
TGC
2005
Springer
15 years 10 months 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...
115
Voted
CAISE
2004
Springer
15 years 10 months 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...