Sciweavers

3316 search results - page 247 / 664
» Mining Software Engineering Data
Sort
View
99
Voted
PEPM
1998
ACM
15 years 7 months ago
Eta-Redexes in Partial Evaluation
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
Jens Palsberg
112
Voted
EDBTW
2006
Springer
15 years 7 months ago
Interoperation Between Information Spaces on the Web
In my thesis I will address the problem of interoperation between information spaces on the web. We explain how this problem is different to traditional database integration scenar...
Andreas Harth
AMAST
2008
Springer
15 years 5 months ago
Implementing a Categorical Information System
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
Michael Johnson, Robert D. Rosebrugh
114
Voted
ECSA
2008
Springer
15 years 5 months ago
A Security Model for Internet-Based Digital Asset Management Systems
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
Ioannis Chatzigiannakis, Vasiliki Liagkou, D. Salo...
DAGSTUHL
2006
15 years 4 months ago
Techniques for Empirical Validation
In 1998 a survey was published on the extent to which software engineering papers validate the claims made in those papers. The survey looked at publications in 1985, 1990 and 1995...
Marvin V. Zelkowitz