12084 search results - page 117 / 2417 » Effect Systems with Subtyping |
ISSRE
2008
IEEE
14 years 3 months ago
2008
IEEE
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
While spam is considered a crucial problem for both companies and ordinary computer users, little is known about how spam actually affects companies and which anti-spam techniques...
NDSS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
KES
2005
Springer
14 years 2 months ago
2005
Springer
We present a simple, yet general top-down query answering procedure for logic programs managing uncertainty. The main features are: (i) the certainty values are taken from a certai...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...