4690 search results - page 81 / 938 » An operational semantics for Scheme |
144
click to vote
MAM
2006
15 years 6 months ago
2006
The increasingly constrained power budget of today's microprocessor has resulted in a situation where power savings of all components in a system have to be taken into consid...
170
click to vote
EUROPKI
2009
Springer
15 years 4 months ago
2009
Springer
The trustworthiness of any Public Key Infrastructure (PKI) rests upon the expectations for trust, and the degree to which those expectations are met. Policies, whether implicit as ...
187
click to vote
DAC
2006
ACM
16 years 9 days ago
2006
ACM
This article describes a new software-based on-line memory compression algorithm for embedded systems and presents a method of adaptively managing the uncompressed and compressed ...
136
click to vote
ICAIL
2005
ACM
15 years 12 months ago
2005
ACM
Normative texts can be viewed as composed by formal partitions (articles, paragraphs, etc.) or by semantic units containing fragments of a regulation (provisions). Provisions can ...
149
click to vote
PPDP
2007
Springer
16 years 14 days ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...