3385 search results - page 463 / 677 » Language, Logic, and the Brain |
212
click to vote
ACNS
2004
Springer
15 years 12 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...
174
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
150
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
131
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
162
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...