4757 search results - page 694 / 952 » Monads for Functional Programming |
118
click to vote
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
The growth in electronic and digital publishing on the World Wide Web has led to the development of a wide range of tools for generating metadata. As a result, it can be difficult...
134
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
133
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider optimal allocation of resources to users in a downlink OFDMA system to support heterogeneous applications consisting of both deadline-sensitive (DS) and best-effort (BE...
136
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
139
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we present a WebTop XML Editor by which the user can edit XML Documents on views generated by user-defined styles. Meta XSLT is the key technology of this feature. ...