1763 search results - page 273 / 353 » A Formalization of Polytime Functions |
175
click to vote
PKC
2007
Springer
16 years 9 days ago
2007
Springer
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...
173
click to vote
SAFECOMP
2007
Springer
16 years 9 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
128
click to vote
WADS
2007
Springer
16 years 9 days ago
2007
Springer
The (Euclidean) Vehicle Routing Allocation Problem (VRAP) is a generalization of Euclidean TSP. We do not require that all points lie on the salesman tour. However, points that do ...
161
click to vote
BIBE
2006
IEEE
16 years 7 days ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
172
click to vote
GLOBECOM
2006
IEEE
16 years 7 days ago
2006
IEEE
— In wireless ad hoc networks (WANETs), e.g. wireless sensor networks, battery-powered devices are constrained by limited amount of energy. Many WANET applications require that t...