2913 search results - page 335 / 583 » How Much to Copy |
131
Voted
ENTCS
2008
15 years 3 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
129
Voted
CACM
2006
15 years 3 months ago
2006
whose titles and abstracts sound very interesting, the pile of unread reports continues to grow on the table in my office." (How quaint the terminology: mail and electronic me...
123
Voted
MTA
2008
15 years 3 months ago
2008
Providing scalable video services in a peer-to-peer (P2P) environment is challenging. Since videos are typically large and require high communication bandwidth for delivery, many ...
130
Voted
NN
2006
Springer
15 years 3 months ago
2006
Springer
Many of our daily activities are supported by behavioural goals that guide the selection of actions, which allow us to reach these goals effectively. Goals are considered to be im...
141
Voted
SIGECOM
2008
ACM
15 years 3 months ago
2008
ACM
We study the question of how to easily recognize whether a social unction f from an abstract type space to a set of outcomes is truthful, i.e. implementable by a truthful mechanis...