237 search results - page 10 / 48 » Modular Monad Transformers |
104
Voted
HASKELL
2008
ACM
15 years 3 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
118
Voted
DOCENG
2004
ACM
15 years 8 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
121
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
116
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
123
Voted
ARITH
2007
IEEE
15 years 9 months ago
2007
IEEE
We describe a new method to perform the modular exponentiation operation, i.e., the computation of c = me mod n, where c, m, e and n are large integers. The new method uses the di...