14190 search results - page 2688 / 2838 » Abstractions for hybrid systems |
EUROCRYPT
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
100
Voted
GECCO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
87
Voted
ICTAC
2004
Springer
15 years 4 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
99
Voted
LCTRTS
2004
Springer
15 years 4 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
95
Voted
MFCS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...