12742 search results - page 255 / 2549 » On canonical number systems |
161
click to vote
ACSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
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...
144
click to vote
PRIMA
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes the architecture of a distributed workflow management system in a dynamic environment. The system features autonomous agent components that can adapt to both s...
143
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
Increasing hardware performance of desktop computers accounts for a low-cost computing potential that is waiting to be efficiently used. However, the complexity of installation a...
168
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
In spite of the intense efforts of metrics researches, the impact of object-oriented software metrics is for the moment still quite reduced. The cause of this fact lies not in an ...
187
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...