10038 search results - page 458 / 2008 » Model Checking for Managers |
168
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
As more information sources become available in multimedia systems, the development of multimedia database management systems (MDBMSs) to efficiently model and search multimedia ...
189
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a mobile tracking scheme that exploits the predictability of user mobility patterns in wireless PCS networks. Instead of the constant velocity fluid-flow or the...
179
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...
189
click to vote
EURONGI
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we propose a new mobility model as an extension of the random walk model. Our proposal gathers mobility patterns with several degrees of randomness, so that both ran...
179
click to vote
WSC
2001
15 years 8 months ago
2001
To enhance the widespread use of a parallel supply chain simulator, a web front-end that enables access at any time and from any location has been developed. The front-end provide...