3022 search results - page 309 / 605 » Make Way for WayMaker |
147
click to vote
WLP
1997
Springer
15 years 11 months ago
1997
Springer
Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transform...
181
click to vote
DISCO
1993
15 years 10 months ago
1993
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...
171
click to vote
SI3D
1992
ACM
15 years 10 months ago
1992
ACM
3dm is a three dimensional (3D) surface modeling program that draws techniques of model manipulation from both CAD and drawing programs and applies them to modeling in an intuitiv...
176
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Cooperation enforcement is one of the key issues in ad hoc networks. In this paper we proposes a new strategy driven approach that aims at discouraging selfish behavior among netwo...
161
click to vote
ECUMN
2007
Springer
15 years 10 months ago
2007
Springer
In UMTS mobile networks, there are some circumstances that the International Mobile Subscriber Identity (IMSI) of a user is conveyed in clear-text over the radio interface. Such s...