9626 search results - page 1826 / 1926 » Invariant Based Programming |
130
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
107
Voted
CANDC
2009
ACM
15 years 8 months ago
2009
ACM
Whenever we feel those ‘higher’ and hard to define sensations like synchronicity, love, wholeness, and appreciation is this a pattern or illuminative system that is part of a ...
104
click to vote
SIGCOMM
2009
ACM
15 years 8 months ago
2009
ACM
Communication networks are growing exponentially, and new services and applications are being introduced unceasingly. To meet the demands of these services and applications, curre...
127
click to vote
SIGMETRICS
2009
ACM
15 years 8 months ago
2009
ACM
We consider the problem of admission control in resource sharing systems, such as web servers and transaction processing systems, when the job size distribution has high variabili...
110
Voted
SOUPS
2009
ACM
15 years 8 months ago
2009
ACM
Abstract. Online privacy policies are difficult to understand. Most privacy policies require a college reading level and an ability to decode legalistic, confusing, or jargon-laden...