5550 search results - page 158 / 1110 » Different Approaches to Proof Systems |
165
click to vote
RECSYS
2010
ACM
15 years 6 months ago
2010
ACM
Recently the world of the web has become more social and more real-time. Facebook and Twitter are perhaps the exemplars of a new generation of social, real-time web services and w...
179
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
190
click to vote
SELMAS
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we demonstrate a policy based approach for building and managing large scale agent based systems. We identify different classes of policies for agent based componen...
161
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
Interaction analysis can provide information directly to learners and teachers in order to assess and self-regulate their ongoing activity. Omega+ is a generic CSCL system that use...
149
click to vote
ITP
2010
15 years 10 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...