2152 search results - page 157 / 431 » An Abstract Account of Composition |
181
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
186
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many environments in which people and computer agents interact involve deploying resources to accomplish tasks and satisfy goals. This paper investigates the way that the...
171
click to vote
APGV
2008
ACM
15 years 8 months ago
2008
ACM
simulations compare to similar measurements done in more abstract settings. We find that participant tolerance for certain types of errors is significantly higher in a realistic sn...
141
click to vote
COGSCI
2004
15 years 6 months ago
2004
People spontaneously discover new representations during problem solving. Discovery of a mathematical representation is of special interest, because it shows that the underlying s...
171
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...