Sciweavers

5634 search results - page 784 / 1127
» About Abstract Classes
Sort
View
FORTE
2003
15 years 8 months ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...
MMNS
2001
96views Multimedia» more  MMNS 2001»
15 years 8 months ago
The Impact of Confidentiality on Quality of Service in Heterogeneous Voice over IP Networks
Abstract. With the advent of ubiquitous access to multimedia content via wireless networks, users are more likely to have their data traverse a heterogeneous internetwork. Given th...
Johnathan M. Reason, David G. Messerschmitt
HIS
2003
15 years 8 months ago
PDGA: the Primal-Dual Genetic Algorithm
Abstract. Genetic algorithms (GAs) are a class of search algorithms based on principles of natural evolution. Hence, incorporating mechanisms used in nature may improve the perform...
Shengxiang Yang
OPODIS
2004
15 years 8 months ago
Task Assignment Based on Prioritising Traffic Flows
Abstract. We consider the issue of task assignment in a distributed system under heavy-tailed (ie. highly variable) workloads. A new adaptable approach called TAPTF (Task Assignmen...
James Broberg, Zahir Tari, Panlop Zeephongsekul
ICISC
1998
87views Cryptology» more  ICISC 1998»
15 years 8 months ago
Rabin and RSA analogues based on non-maximal imaginary quadratic orders
Abstract. In 14] and 21] there are proposed ElGamal-type cryptosystems based on non-maximal imaginary quadratic orders with fast trapdoor decryption. The trapdoor information is th...
Detlef Hühnlein, Andreas Meyer, Tsuyoshi Taka...