Sciweavers

179 search results - page 21 / 36
» An Extensible Tool for Source Code Representation Using XML
Sort
View
ACSAC
2007
IEEE
15 years 4 months ago
Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cl...
INFSOF
2008
148views more  INFSOF 2008»
14 years 9 months ago
Translating unstructured workflow processes to readable BPEL: Theory and implementation
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
Wil M. P. van der Aalst, Kristian Bisgaard Lassen
VLDB
2002
ACM
118views Database» more  VLDB 2002»
14 years 9 months ago
Translating Web Data
We present a novel framework for mapping between any combination of XML and relational schemas, in which a high-level, userspecified mapping is translated into semantically meanin...
Lucian Popa, Yannis Velegrakis, Renée J. Mi...
CSMR
2009
IEEE
15 years 4 months ago
Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...
Andy Kellens, Kris De Schutter, Theo D'Hondt, Luc ...
DKE
2008
114views more  DKE 2008»
14 years 10 months ago
Proof explanation for a nonmonotonic Semantic Web rules language
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresi...