23413 search results - page 4526 / 4683 » or 2005 |
210
click to vote
RT
2005
Springer
16 years 16 days ago
2005
Springer
The Bidirectional Reflectance Distribution Function (BRDF) describes the appearance of a material by its interaction with light at a surface point. A variety of analytical models...
198
click to vote
RTA
2005
Springer
16 years 16 days ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
180
click to vote
RULEML
2005
Springer
16 years 16 days ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
201
click to vote
SACRYPT
2005
Springer
16 years 16 days ago
2005
Springer
The ability to link two different sightings of the same Radio Frequency Identification (RFID) tag enables invasions of privacy. The problem is aggravated when an item, and the ta...
222
click to vote
SAFECOMP
2005
Springer
16 years 16 days ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...