1065 search results - page 191 / 213 » Towards a Meaning of LIFE |
103
click to vote
PUC
2010
14 years 9 months ago
2010
Human computer interaction (HCI) has little explored everyday life and enriching experiences in rural, wilderness and other predominantly ‘‘natural’’ places despite their s...
AISS
2010
14 years 8 months ago
2010
Since more networking technologies and communication channels have been developed, Internet users have moved their roles from being strictly information consumers to both informat...
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
194
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...