8132 search results - page 1260 / 1627 » Dependability, Abstraction, and Programming |
170
click to vote
AAMAS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We study optimal control in large stochastic multi-agent systems in continuous space and time. We consider multi-agent systems where agents have independent dynamics with...
160
click to vote
APN
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
210
click to vote
ARC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The novel design of high-speed and low-energy FPGA routing architecture consisting of appropriate wire segments and multiple Switch Boxes is introduced. For that purpose,...
164
click to vote
ASIAN
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
186
click to vote
ATC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Grid applications have increasingly sophisticated functional and security requirements. However, current techniques mostly protect only the resource provider from attacks...