950 search results - page 131 / 190 » Type Specialization in Aldor |
DAC
1998
ACM
14 years 23 days ago
1998
ACM
Boolean division, and hence Boolean substitution, produces better result than algebraic division and substitution. However, due to the lack of an efficient Boolean division algorit...
CAAN
2007
Springer
14 years 22 days ago
2007
Springer
We study the efficiency of selfish routing problems in which traffic demands are revealed online. We go beyond the common Nash equilibrium concept in which possibly all players rer...
PAAMS
2010
Springer
14 years 22 days ago
2010
Springer
A vehicular ad hoc network (VANET) is a type of mobile network whose nodes are traveling cars which communicate with one another using short-range wireless communications. These ca...
CTRSA
2009
Springer
14 years 19 days ago
2009
Springer
On-line/Off-line signatures are used in a particular scenario where the signer must respond quickly once the message to be signed is presented. The idea is to split the signing pro...
EDBT
2009
ACM
14 years 19 days ago
2009
ACM
While there is an increasing need to share data that may contain personal information, such data sharing must preserve individual privacy without disclosing any identifiable infor...