620 search results - page 49 / 124 » Abstract Analysis of Symbolic Executions |
114
Voted
AIIA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...
104
Voted
PSLS
1995
15 years 4 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
79
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
We present a technique for finding security vulnerabilities in Web applications. SQL Injection (SQLI) and crosssite scripting (XSS) attacks are widespread forms of attack in whic...
142
click to vote
BPSC
2009
15 years 1 months ago
2009
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...
101
click to vote
ER
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Web services composition is an emerging paradigm for application integration within and across organizational boundaries. A landscape of languages and techniques for web ...