9049 search results - page 251 / 1810 » The New C Standard |
191
click to vote
AML
2010
15 years 6 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
160
click to vote
AML
2006
15 years 6 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
215
click to vote
INTERNET
2002
15 years 6 months ago
2002
of abstractions a middleware system makes available to applications, they figure prominently in determining the breadth and variety of application integration that the middleware s...
160
click to vote
POLICY
2007
Springer
16 years 22 days ago
2007
Springer
Web Services based computing is currently an important driver for the software industry. While several standards bodies (such as W3C and OASIS) are laying the foundation for Web S...
147
click to vote
ISLPED
1996
ACM
15 years 10 months ago
1996
ACM
We present a low-power SRAM design based on the theory of energy recovery that reduces the dissipation associated with write operations while operating at high speed. The energy-r...