3056 search results - page 449 / 612 » Compiling Embedded Languages |
263
click to vote
POPL
2007
ACM
16 years 6 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...
163
click to vote
CICLING
2001
Springer
15 years 10 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
156
click to vote
MODELS
2009
Springer
16 years 24 days ago
2009
Springer
The development of a highly configurable data management system is a challenging task, especially if it is to be implemented on an embedded system that provides limited resources...
171
click to vote
LCTRTS
2007
Springer
16 years 12 days ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
140
click to vote
MONTEREY
2007
Springer
16 years 11 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...