2647 search results - page 187 / 530 » Solving Term Inequalities |
194
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents a secure and flexible Mix-net that has the following properties; it efficiently handles long plaintexts that exceed the modulus size of underlying public-key e...
150
click to vote
SAC
1999
ACM
15 years 11 months ago
1999
ACM
In this paper, we consider the evolution of hypermedia system architectures from the monolithic systems of the 1980’s to the middleware-oriented component-based open systems of ...
167
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Previous studies in speculative prefetching focus on building and evaluating access models for the purpose of access prediction. This paper investigates a complementary area which...
163
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
140
click to vote
PPSN
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Perhaps one the newest and of the more interesting cooperative approaches to evolutionary computation which has been more recently explored is the area of mutualism. In m...