7124 search results - page 376 / 1425 » Programming Languages and Operating Systems |
210
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
188
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
179
click to vote
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
284
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
198
click to vote
VL
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a framework of syntactic models for the definition and implementation of visual languages. We analyze a wide range of existing visual languages and, for e...