467 search results - page 27 / 94 » Open bisimulation for aspects |
117
Voted
AOSD
2009
ACM
15 years 10 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...
110
Voted
ICALP
1989
Springer
15 years 7 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...
116
Voted
ENTCS
2006
15 years 3 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...
139
Voted
FPL
2003
Springer
15 years 9 months 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...
118
Voted
AIED
2009
Springer
15 years 10 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...