108 search results - page 20 / 22 » The Four Major Challenges of Engineering Adaptive Software A... |
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
This demo illustrates the benefits of BitHoc, a standalone protocol for content sharing among spontaneous communities of mobile handhelds using wireless multi-hop connections. Bi...
ATAL
2003
Springer
14 years 29 days ago
2003
Springer
Performance measurement of large distributed multiagent systems (MAS) offers challenges that must be addressed explicitly in the agent infrastructure. Performance data is widely d...
ICDE
2002
IEEE
14 years 9 months ago
2002
IEEE
Broad web search engines as well as many more specialized search tools rely on web crawlers to acquire large collections of pages for indexing and analysis. Such a web crawler may...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
The basic system timer facilities used by applications and OS kernels for scheduling timeouts and periodic activities have remained largely unchanged for decades, while hardware a...