Sciweavers

3628 search results - page 367 / 726
» The Decision Diffie-Hellman Problem
Sort
View
KSEM
2007
Springer
16 years 27 days ago
A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue...
LICS
2006
IEEE
16 years 23 days ago
Managing Digital Rights using Linear Logic
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
Adam Barth, John C. Mitchell
MINENET
2006
ACM
16 years 22 days ago
Privacy-preserving performance measurements
Internet performance is an issue of great interest, but it is not trivial to measure. A number of commercial companies try to measure this, as does RIPE, and many individual Inter...
Matthew Roughan, Yin Zhang
CEC
2005
IEEE
16 years 12 days ago
Dynamic salting route optimisation using evolutionary computation
Abstract- On marginal winter nights, highway authorities face a difficult decision as to whether or not to salt the road network. The consequences of making a wrong decision are s...
Hisashi Handa, Lee Chapman, Xin Yao
DATE
2005
IEEE
91views Hardware» more  DATE 2005»
16 years 11 days ago
Reliability-Centric High-Level Synthesis
Importance of addressing soft errors in both safety critical applications and commercial consumer products is increasing, mainly due to ever shrinking geometries, higher-density c...
Suleyman Tosun, Nazanin Mansouri, Ercument Arvas, ...