312 search results - page 36 / 63 » Model Compiler Construction Based on Aspect-Oriented Mechani... |
AOSD
2006
ACM
14 years 1 months ago
2006
ACM
The current AspectJ join points represent locations in the code that are at the interface of the Java objects. However, not all the “things that happen”1 happen at the interfa...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
AGP
2010
IEEE
14 years 21 days ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
PSYCHNOLOGY
2008
13 years 7 months ago
2008
This article explores the possibility of using dynamic Educational Virtual Environments (EVEs) for helping students with limited background in physics and mathematics to deeply un...
PKC
2009
Springer
14 years 8 months ago
2009
Springer
At Crypto'07, Goyal introduced the concept of Accountable Authority Identity-Based Encryption as a convenient tool to reduce the amount of trust in authorities in Identity-Bas...