4212 search results - page 608 / 843 » Rights Expression Languages |
174
click to vote
TLCA
2007
Springer
16 years 19 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
152
click to vote
UC
2007
Springer
16 years 19 days ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
143
click to vote
CCGRID
2006
IEEE
16 years 18 days ago
2006
IEEE
Grid technology enables access and sharing of data and computational resources across administrative domains. Thus, it is important to provide a uniform access and management mech...
176
click to vote
DATE
2006
IEEE
16 years 18 days ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
189
click to vote
ECBS
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...