10038 search results - page 1613 / 2008 » Model Checking for Managers |
149
click to vote
CIKM
1995
Springer
15 years 10 months ago
1995
Springer
As the amount of available electronic information is dramatically increasing, the ability for rapid and e ective access to information has become critical. Most traditional inform...
177
click to vote
HICSS
1995
IEEE
15 years 10 months ago
1995
IEEE
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...
193
click to vote
SIGCOMM
1995
ACM
15 years 10 months ago
1995
ACM
A mobile user location management mechanism is introduced that incorporates a distance based location update scheme and a paging mechanism that satis es prede ned delay requiremen...
179
click to vote
SIGCOMM
1995
ACM
15 years 10 months ago
1995
ACM
Reliable multicast communication is important in large-scale distributed applications. For example, reliable multicast is used to transmit terrain and environmental updates in dis...
209
click to vote
AAAI
2008
15 years 9 months ago
2008
This paper describes a method and system for integrating machine learning with planning and data visualization for the management of mobile sensors for Earth science investigation...