3273 search results - page 293 / 655 » types 2007 |
149
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
180
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
217
click to vote
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Vehicular ad hoc networks (VANETs) are being advocated for traffic control, accident avoidance, and a variety of other applications. Security is an important concern in VANETs...
154
click to vote
MUE
2007
IEEE
16 years 1 months ago
2007
IEEE
We proposed a pre-compensation method combining two wireless communication schemes, TDD(Time Division Duplex) whose forward and reverse links use the same frequency, and the coher...
168
click to vote
P2P
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we propose fully distributed trustbased policies for p2p systems to regulate the exchange of different type of services and discourage misbehaviour. In a system of p...