Sciweavers

517 search results - page 53 / 104
» Translation in XBRL standardization
Sort
View
SCAM
2005
IEEE
14 years 1 months ago
Pointer Analysis for Source-to-Source Transformations
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
Marcio Buss, Stephen A. Edwards, Bin Yao, Dan G. W...
BPM
2005
Springer
129views Business» more  BPM 2005»
14 years 1 months ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...
IJCNLP
2005
Springer
14 years 1 months ago
Tense Tagging for Verbs in Cross-Lingual Context: A Case Study
The current work applies Conditional Random Fields to the problem of temporal reference mapping from Chinese text to English text. The learning algorithm utilizes a moderate number...
Yang Ye, Zhu Zhang
ACNS
2004
Springer
284views Cryptology» more  ACNS 2004»
14 years 1 months ago
SQLrand: Preventing SQL Injection Attacks
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...
Stephen W. Boyd, Angelos D. Keromytis
DNA
2004
Springer
165views Bioinformatics» more  DNA 2004»
14 years 1 months ago
Computing by Observing Bio-systems: The Case of Sticker Systems
Abstract. A very common approach in chemistry and biology is to observe the progress of an experiment, and take the result of this observation as the final output. Inspired by thi...
Artiom Alhazov, Matteo Cavaliere