10038 search results - page 1672 / 2008 » Model Checking for Managers |
160
click to vote
ICWL
2004
Springer
15 years 12 months ago
2004
Springer
In Web-based e-learning, an up-to-date catalogue of subject-specific Web resources can effectively offer inexperienced students with an advanced academic portal on the Web. To auto...
188
click to vote
INEX
2004
Springer
15 years 12 months ago
2004
Springer
Exploiting the structure of a document allows for more powerful information retrieval techniques. In this article a basic approach is discussed for the retrieval of XML document f...
164
click to vote
IPSN
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
194
click to vote
IWQOS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract— Resource management for individual flows can significantly improve quality of service (QoS) in mobile cellular networks. However, its efficiency depends on the avail...
170
click to vote
PROMAS
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....