11784 search results - page 1986 / 2357 » Improving Software Process Improvement |
168
click to vote
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we address the problems of adaptive schema mappings between different peers in peer-to-peer network and searching for interesting data residing at different peers ba...
155
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
182
click to vote
EICS
2010
ACM
15 years 10 months ago
2010
ACM
Language Technology (LT) based applications become more popular as technology improves. Prototyping early in the design process is critical for the development of high quality app...
209
click to vote
PETRA
2010
ACM
15 years 10 months ago
2010
ACM
Context-aware inter-vehicular communication is considered to be vital for inducing intelligence through the use of embedded computing devices inside vehicles. Vehicles in a scalab...
173
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
Large-scale hosting infrastructures require automatic system anomaly management to achieve continuous system operation. In this paper, we present a novel adaptive runtime anomaly ...