10038 search results - page 455 / 2008 » Model Checking for Managers |
202
click to vote
ATC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...
132
click to vote
ECIS
2001
15 years 8 months ago
2001
The Internet can be used as an instrument to serve the market for management education. Depending on the educational demands of customers, the usage of the Internet varies. In the...
163
click to vote
UAI
2001
15 years 8 months ago
2001
This paper considers the problem of knowledgebased model construction in the presence of uncertainty about the association of domain entities to random variables. Multi-entity Bay...
163
click to vote
ICIS
2000
15 years 8 months ago
2000
Even as they enjoy impressive growth, one of the major challenges facing providers of online services is a high rate of customer turnover. It has adverse impacts on business perfo...
202
click to vote
DSRT
2006
IEEE
16 years 1 months ago
2006
IEEE
Interest Management in large-scale distributed applications aims to reduce the amount of extraneous broadcast communication between nodes in the system with the aim of increasing ...