1346 search results - page 124 / 270 » Alternating-time dynamic logic |
ICAS
2006
IEEE
14 years 4 months ago
2006
IEEE
— We target the problem of predicting resource usage in situations where the modeling data is scarce, non-stationary, or expensive to obtain. This scenario occurs frequently in c...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
The development of Field Programmable Gate Arrays (FPGAs) had tremendous improvements in the last few years. They were extended from simple logic circuits to complex Systems-on-Ch...
SSDBM
2006
IEEE
14 years 4 months ago
2006
IEEE
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...
TIME
2006
IEEE
14 years 4 months ago
2006
IEEE
An increasing number of documents in companies and other organizations are now only available electronically, and exist in several versions updated at different times. In order to...
ICDCIT
2004
Springer
14 years 3 months ago
2004
Springer
We focus on the problem of distributing key updates in secure dynamic groups. Due to changes in group membership, the group controller needs to change and distribute the keys used...