4386 search results - page 524 / 878 » A Tamper-Resistant Programming Language System |
148
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
123
click to vote
ASIAN
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
124
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
One goal of our project is to create a dialogue agent that can behave as a student peer and collaborate with a human student to explain or diagnose data structures programs. A huma...
117
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
140
click to vote
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...