28962 search results - page 60 / 5793 » Computational Mechanism Design |
INFOSCALE
2006
ACM
15 years 5 months ago
2006
ACM
--Nowadays, the issue of the energy saving on the mobile client is becoming more and more concerned. Among those power conservation techniques, computation offloading schemes are b...
ACL
1989
15 years 9 days ago
1989
the syntactically impossible antecedents. This latter This paper describes an implemented mechanism for handling bound anaphora, disjoint reference, and pronominal reference. The a...
117
click to vote
ITICSE
1996
ACM
15 years 3 months ago
1996
ACM
The operation of a computer can be conceptualised as a large, discrete and constantly changing set of state information. However even for the simplest uni-processor the data set o...
IBERAMIA
1998
Springer
15 years 3 months ago
1998
Springer
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...