Sciweavers

3618 search results - page 97 / 724
» Additive functions for number systems in function fields
Sort
View
139
Voted
ESOP
2009
Springer
15 years 10 months ago
Practical Variable-Arity Polymorphism
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
T. Stephen Strickland, Sam Tobin-Hochstadt, Matthi...
97
Voted
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
15 years 8 months ago
Realization theory of Nash systems
Abstract— This paper deals with realization theory of socalled Nash systems, i.e. nonlinear systems the right-hand side of which is defined by Nash functions. A Nash function is...
Jana Nemcová, Mihály Petreczky, Jan ...
123
Voted
ACSAC
2006
IEEE
15 years 9 months ago
An Internet Voting System Supporting User Privacy
This work introduces the A system1 , an Internetbased, free and open source electronic voting system which employs strong cryptography. Our system is a fully functiona...
Aggelos Kiayias, Michael Korman, David Walluck
143
Voted
ECOOP
1999
Springer
15 years 8 months ago
Providing Persistent Objects in Distributed Systems
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul ...
112
Voted
TISSEC
2002
75views more  TISSEC 2002»
15 years 3 months ago
Termination in language-based systems
Language runtime systems are increasingly being embedded in systems to support runtime extensibility via mobile code. Such systems raise a number of concerns when the code running...
Algis Rudys, Dan S. Wallach