Sciweavers

3928 search results - page 586 / 786
» order 2006
Sort
View
ATAL
2006
Springer
15 years 11 months ago
Multi-agent based peer-to-peer information retrieval systems with concurrent search sessions
In cooperative peer-to-peer information retrieval systems, each node can be considered an intelligent agent and these agents work collectively to provide an information retrieval ...
Haizheng Zhang, Victor R. Lesser
ATC
2006
Springer
15 years 11 months ago
Towards a Standards-Based Autonomic Context Management System
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...
Jadwiga Indulska, Karen Henricksen, Peizhao Hu
ATVA
2006
Springer
131views Hardware» more  ATVA 2006»
15 years 11 months ago
Timed Unfoldings for Networks of Timed Automata
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynie...
ATVA
2006
Springer
99views Hardware» more  ATVA 2006»
15 years 11 months ago
Whodunit? Causal Analysis for Counterexamples
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...
AUSAI
2006
Springer
15 years 11 months ago
Incorporating Pageview Weight into an Association-Rule-Based Web Recommendation System
Web recommendation systems based on web usage mining try to mine users' behavior patterns from web access logs, and recommend pages to the online user by matching the user...
Liang Yan, Chunping Li