2858 search results - page 494 / 572 » Logics with Aggregate Operators |
167
click to vote
NCA
2007
IEEE
16 years 14 days ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
143
click to vote
ACNS
2007
Springer
16 years 11 days ago
2007
Springer
The one-way function tree (OFT) scheme proposed by Balenson et. al is widely regarded as an efficient key management solution for multicast communication in large dynamic groups. ...
143
click to vote
CAV
2007
Springer
16 years 11 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
150
click to vote
CHES
2007
Springer
16 years 11 days ago
2007
Springer
This paper describes a modular exponentiation processing method and circuit architecture that can exhibit the maximum performance of FPGA resources. The modular exponentiation arch...
179
click to vote
COCOA
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...