467 search results - page 27 / 94 » Open bisimulation for aspects |
AOSD
2009
ACM
14 years 2 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
ICALP
1989
Springer
13 years 11 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
ENTCS
2006
13 years 7 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
FPL
2003
Springer
14 years 25 days ago
2003
Springer
The use of FPGAs for cryptographic applications is highly attractive for a variety of reasons but at the same time there are many open issues related to the general security of FPG...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we report our work on introducing adaptations of the learner model’s presentation in adaptive educational systems, in order to bring a healthy balance between the u...