Sciweavers

1767 search results - page 160 / 354
» Open Source Ecology
Sort
View
FC
2010
Springer
183views Cryptology» more  FC 2010»
14 years 7 days ago
Automatically Preparing Safe SQL Queries
We present the first sound program source transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsa...
Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakris...
ESEM
2007
ACM
14 years 7 days ago
Static Members and Cycles in Java Software
The static modifier is a convenient way to make class members "global" in object-oriented software systems. Given this, we wondered if static members significantly contr...
Hayden Melton, Ewan D. Tempero
AISC
2006
Springer
14 years 2 days ago
Interactive Mathematical Documents
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
Arjeh M. Cohen
FLAIRS
2008
13 years 10 months ago
Multilingual Approach to e-Learning from a Monolingual Perspective
This paper describes the efforts undertaken in an international research project LT4eL from the perspective of one of the participating languages, Czech. The project aims at explo...
Vladislav Kubon, Miroslav Spousta
AIME
2007
Springer
13 years 10 months ago
Contrast Set Mining for Distinguishing Between Similar Diseases
The task addressed and the method proposed in this paper aim at improved understanding of differences between similar diseases. In particular we address the problem of distinguish...
Petra Kralj, Nada Lavrac, Dragan Gamberger, Antoni...