10038 search results - page 1557 / 2008 » Model Checking for Managers |
177
click to vote
ELPUB
2006
ACM
16 years 22 days ago
2006
ACM
By the end of this year visitors to the Flemish town of Mechelen can discover the city with the help of the new CityInMyPocket walking guide. Instead of following a person or a bo...
226
click to vote
PODC
2006
ACM
16 years 22 days ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...
178
click to vote
SAC
2006
ACM
16 years 22 days ago
2006
ACM
Traditional Data Mining and Knowledge Discovery algorithms assume free access to data, either at a centralized location or in federated form. Increasingly, privacy and security co...
200
click to vote
WIDM
2006
ACM
16 years 22 days ago
2006
ACM
The huge amount of data available from Internet information sources has focused much attention on the sharing of distributed information through Peer Data Management Systems (PDMS...
181
click to vote
ICS
2005
Tsinghua U.
16 years 8 days ago
2005
Tsinghua U.
The combination of increasing component power consumption, a desire for denser systems, and the required performance growth in the face of technology-scaling issues are posing eno...