1878 search results - page 256 / 376 » Efficient Performance Models in Component-Based Software Eng... |
238
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
150
Voted
SEDE
2010
15 years 20 days ago
2010
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
108
click to vote
GCC
2005
Springer
15 years 8 months ago
2005
Springer
Web spider is a widely used approach to obtain information for search engines. As the size of the Web grows, it becomes a natural choice to parallelize the spider’s crawling proc...
151
Voted
ADL
2000
Springer
15 years 7 months ago
2000
Springer
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...
138
Voted
EUROSYS
2008
ACM
15 years 12 months ago
2008
ACM
Financial efficiency is the premier performance measure for most systems. Existing economic ecosystems for distribution of multimedia leave a lot to be desired: client-server plat...