31387 search results - page 411 / 6278 » Abstracts |
170
click to vote
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
173
click to vote
TGC
2005
Springer
16 years 1 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...
187
click to vote
FC
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. This is a brief summary of the invited lecture delivered during the conference. The interested reader is referred to [2] for more information.
192
click to vote
OTM
2004
Springer
16 years 28 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...
160
Voted
WIA
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. We discuss enumeration of regular expressions and the distinct languages they represent.