9405 search results - page 1275 / 1881 » Computing a Model of Set Theory |
190
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
183
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Minimizing the number of computations a low-power device makes is important to achieve long battery life. In this paper we present a framework for a low-power device to minimize t...
315
click to vote
Book
"Although an application's human interface designer and software developer might well be the same person, the two jobs involve different tasks and require different skill...
156
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper we address a common question in wireless communication: How long does it take to satisfy an arbitrary set of wireless communication requests? This problem i...
168
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Many solutions for securing inter-provider handover proposed to date make use of the concept of security context transfer. However, none of these solutions addresses problems aris...