2436 search results - page 350 / 488 » Comonadic Notions of Computation |
146
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Among the post-CMOS technologies currently under investigation, quantum computing (QC) holds a special place. QC offers not only extremely small size and low power, but also expon...
120
click to vote
TCC
2010
Springer
16 years 1 months ago
2010
Springer
We study rationality in protocol design for the full-information model, a model characterized by computationally unbounded adversaries, no private communication, and no simultanei...
143
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
143
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
126
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...