1147 search results - page 137 / 230 » Termination in language-based systems |
105
click to vote
EURONGI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The recent emergence of a whole plethora of new wireless technologies, such as IEEE802.15, IEEE802.11, and UMTS, etc, has exposed the limitations of mobility solutions in...
86
Voted
RTA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
107
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
Since fingerprint data are no secrets but of public nature, the verification data transmitted to a smartcard for oncardmatching need protection by appropriate means in order to ...
127
click to vote
ACNS
2004
Springer
15 years 6 months ago
2004
Springer
We present a practical protection mechanism against SQL injection attacks. Such attacks target databases that are accessible through a web frontend, and take advantage of flaws in...
89
Voted
AISC
2004
Springer
15 years 6 months ago
2004
Springer
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...