Sciweavers

3238 search results - page 418 / 648
» Multi-return function call
Sort
View
IPPS
1998
IEEE
15 years 10 months ago
NoWait-RPC: Extending ONC RPC to a Fully Compatible Message Passing System
Locally and functionally distributed applications realized on different system architectures demand a universal, portable and intuitive software utility for interprocess communica...
Thomas Hopfner, Franz Fischer, Georg Färber
SSD
1999
Springer
105views Database» more  SSD 1999»
15 years 10 months ago
Requirements of Traffic Telematics to Spatial Databases
Traffic telematics comprises services like traffic information, navigation, and emergency call services. Providers of such services need large spatial databases especially for the ...
Thomas Brinkhoff
TABLEAUX
1998
Springer
15 years 10 months ago
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
Bernhard Beckert, Ulrike Hartmer
SPW
1997
Springer
15 years 10 months ago
Protocol Interactions and the Chosen Protocol Attack
There are many cases in the literature in which reuse of the same key material for different functions can open up security holes. In this paper, we discuss such interactions betw...
John Kelsey, Bruce Schneier, David Wagner
FPCA
1993
15 years 10 months ago
Parallel Implementation of Bags
Multisets (also called bags) are an interesting data structure for parallelly implemented functional programming languages, since they do not force an unneeded restriction of the ...
Herbert Kuchen, Katia Gladitz