6881 search results - page 1120 / 1377 » Motivation |
188
click to vote
VLDB
2005
ACM
16 years 4 days ago
2005
ACM
In this demo, we show that intelligent load shedding is essential in achieving optimum results in mining data streams under various resource constraints. The Loadstar system intro...
226
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
186
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
167
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
171
click to vote
WAOA
2005
Springer
16 years 4 days ago
2005
Springer
Cellular telephony systems, where locations of mobile users are unknown at some times, are becoming more common. In such systems, mobile users are roaming in a zone and a user repo...