893 search results - page 115 / 179 » Descent Theory for Schemes |
118
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
122
click to vote
Publication
Most e-learning environments which utilize user feedback or profiles, collect such information based on questionnaires, resulting very often in incomplete answers, and sometimes de...
194
click to vote
ICDE
2004
IEEE
16 years 1 months ago
2004
IEEE
Signatures detect changes to the data objects. Numerous schemes a known, e.g., the popular hash based SHA-1 standard. We propose a nov scheme we call algebraic signatures. We use ...
MOBIHOC
2006
ACM
15 years 5 months ago
2006
ACM
A large number of practical sensing and actuating applications require immediate notification of rare but urgent events and also fast delivery of time sensitive actuation command...
108
click to vote
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...