4355 search results - page 560 / 871 » From Interpretation to Compilation |
189
click to vote
DRM
2007
Springer
16 years 26 days ago
2007
Springer
In software protection we typically have to deal with the white-box attack model. In this model an attacker is assumed to have full access to the software and full control over it...
183
click to vote
WOLLIC
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
222
click to vote
ADVIS
2006
Springer
16 years 21 days ago
2006
Springer
Investments on multimedia technology enable us to store many more reflections of the real world in digital world as videos. By recording videos about real world entities, we carry...
195
click to vote
GI
2005
Springer
16 years 7 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
208
click to vote
ASPLOS
2004
ACM
16 years 4 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...