6897 search results - page 617 / 1380 » Parallelization of Modular Algorithms |
152
click to vote
DRMTICS
2005
Springer
16 years 5 days ago
2005
Springer
The current deployment of Digital Right Management (DRM) schemes to distribute protected contents and rights is leading the way to massive use of sophisticated embedded cryptograph...
200
click to vote
EDCC
2005
Springer
16 years 5 days ago
2005
Springer
The fair exchange problem is key to trading electronic items in systems of mutually untrusted parties. In modern variants of such systems, each party is equipped with a security mo...
166
click to vote
CPE
2003
Springer
15 years 12 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
166
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Virtual routers are a promising way to provide network services such as customer-specific routing, policy-based routing, multi-topology routing, and network virtulization. However...
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...