Sciweavers

3316 search results - page 379 / 664
» Mining Software Engineering Data
Sort
View
EDBTW
2004
Springer
15 years 8 months ago
XML Query Processing and Optimization
—Over the past few years, XML (eXtensible Mark-up Language) has emerged as the standard for information representation and data exchange over the Internet. This paper provides a ...
Ning Zhang 0002
EDBTW
2004
Springer
15 years 8 months ago
SPROUT: P2P Routing with Social Networks
In this paper, we investigate how existing social networks can benefit P2P data networks by leveraging the inherent trust associated with social links. We present a trust model t...
Sergio Marti, Prasanna Ganesan, Hector Garcia-Moli...
108
Voted
PEPM
2004
ACM
15 years 8 months ago
A programmable editor for developing structured documents based on bidirectional transformations
This paper presents a novel editor supporting interactive refinement in the development of structured documents. The user performs a sequence of editing operations on the documen...
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
VMCAI
2004
Springer
15 years 8 months ago
Approximate Probabilistic Model Checking
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
Thomas Hérault, Richard Lassaigne, Fr&eacut...
AOSD
2003
ACM
15 years 8 months ago
Strategic programming meets adaptive programming
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...
Ralf Lämmel, Eelco Visser, Joost Visser