237 search results - page 10 / 48 » Modular Monad Transformers |
130
click to vote
HASKELL
2008
ACM
15 years 6 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...
142
click to vote
DOCENG
2004
ACM
15 years 10 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...
152
click to vote
SAC
2006
ACM
15 years 11 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...
152
Voted
CONCUR
2004
Springer
15 years 10 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 ...
161
click to vote
ARITH
2007
IEEE
15 years 11 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...