6054 search results - page 111 / 1211 » Implementation of Andorra-based Languages |
137
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
145
click to vote
ISSAC
1995
Springer
15 years 8 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
161
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
264
Voted
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
167
click to vote
DBPL
1997
Springer
15 years 9 months ago
1997
Springer
Previous research on materialized views has primarily been in the context of flat relational databases--materialized views defined in terms of one or more flat relations. This pape...