8828 search results - page 360 / 1766 » Formal methods in practice |
171
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper solves a static and transportation facility location allocation problem defined as follows: given a set of locations Loc and a set of demand objects D located ...
193
click to vote
ICCSA
2007
Springer
16 years 28 days ago
2007
Springer
In our recent study, we have presented an approach for tracing illegal users in content distribution networks using watermarking and fingerprinting techniques [1][2]. In this paper...
180
Voted
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
160
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
196
click to vote
ASIACRYPT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The security of the alleged RC4 stream cipher and some variants is investigated. Cryptanalytic algorithms are developed for a known plaintext attack where only a small se...