Sciweavers

420 search results - page 68 / 84
» Using static analysis for Ajax intrusion detection
Sort
View
WPES
2006
ACM
14 years 1 months ago
A privacy-preserving interdomain audit framework
Recent trends in Internet computing have led to the popularization of many forms of virtual organizations. Examples include supply chain management, grid computing, and collaborat...
Adam J. Lee, Parisa Tabriz, Nikita Borisov
EMSOFT
2009
Springer
14 years 2 months ago
Compositional deadlock detection for rendezvous communication
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
Baolin Shao, Nalini Vasudevan, Stephen A. Edwards
ISCI
2008
83views more  ISCI 2008»
13 years 7 months ago
Output schemas of XSLT stylesheets and their applications
The capabilities of XSLT processing are widely used to transform XML documents into target XML documents. These target XML documents conform to output schemas of the used XSLT styl...
Sven Groppe, Jinghua Groppe
TSE
2010
180views more  TSE 2010»
13 years 5 months ago
Aspect-Oriented Race Detection in Java
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
Eric Bodden, Klaus Havelund
ADBIS
2006
Springer
154views Database» more  ADBIS 2006»
14 years 1 months ago
Determining the Output Schema of an XSLT Stylesheet
The XSLT language is used to describe transformations of XML documents into other formats. The transformed XML documents conform to output schemas of the used XSLT stylesheet. Outp...
Sven Groppe, Jinghua Groppe