3239 search results - page 490 / 648 » A Logical Process Calculus |
147
click to vote
ACNS
2004
Springer
15 years 8 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...
100
Voted
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...
128
click to vote
EKAW
2004
Springer
15 years 8 months ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
117
click to vote
ER
2004
Springer
15 years 8 months ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
111
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...