3420 search results - page 299 / 684 » A Language-Based Approach to Security |
167
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
172
Voted
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
180
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
Physical data independence is touted as a central feature of modern database systems. Both relational and object-oriented systems, however, force users to frame their queries in t...
185
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...
178
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...