5450 search results - page 938 / 1090 » Personalization of tagging systems |
155
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
181
click to vote
NETGAMES
2006
ACM
16 years 17 days ago
2006
ACM
Pervasive games provide a new type of game combining new technologies with the real environment of the players. While this already poses new challenges to the game developer, requ...
222
click to vote
PODC
2006
ACM
16 years 17 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...
182
click to vote
PODC
2006
ACM
16 years 17 days ago
2006
ACM
We study the problem of maintaining sketches of recent elements of a data stream. Motivated by applications involving network data, we consider streams that are asynchronous, in w...
184
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
Structured data and complex schemas are becoming the main way to represent the information many Digital Libraries provide, thus impacting the services they offer. When searching i...