10038 search results - page 659 / 2008 » Model Checking for Managers |
209
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Successful knowledge management results in a competitive advantage in today’s information- and knowledge-rich industries. The elaboration and integration of emerging web-based t...
207
click to vote
IPPS
2009
IEEE
16 years 2 months ago
2009
IEEE
We introduce the problem of managing a FIFO buffer of bounded space, where arriving packets have dependencies among them. Our model is motivated by the scenario where large data f...
196
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
190
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Global public computing platforms, such as PlanetLab, grid computing systems, and XenoServers, require facilities for managing trust to allow their participants to interact effect...
205
click to vote
ACISP
2005
Springer
16 years 1 months ago
2005
Springer
We present the first group signature scheme with provable security and signature size O(λ) bits where the group manager, the group members, and the Open Authority (OA) are all id...