1712 search results - page 266 / 343 » A Computational Approach to Binding Theory |
128
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
129
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
135
click to vote
PODS
2005
ACM
16 years 1 months ago
2005
ACM
Suppose we have a large table T of items i, each with a weight wi, e.g., people and their salary. In a general preprocessing step for estimating arbitrary subset sums, we assign e...
141
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
120
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...