10038 search results - page 1665 / 2008 » Model Checking for Managers |
188
click to vote
INEX
2007
Springer
16 years 23 days ago
2007
Springer
CWI and University of Twente used PF/Tijah, a flexible XML retrieval system, to evaluate structured document retrieval, multimedia retrieval, and entity ranking tasks in the conte...
227
click to vote
MLDM
2007
Springer
16 years 22 days ago
2007
Springer
Advances in wireless and mobile technology flood us with amounts of moving object data that preclude all means of manual data processing. The volume of data gathered from position...
177
click to vote
VLDB
2007
ACM
16 years 22 days ago
2007
ACM
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
163
click to vote
CSFW
2006
IEEE
16 years 20 days ago
2006
IEEE
Role-Based Access Control (RBAC) is a widely used model for expressing access control policies. In large organizations, the RBAC policy may be collectively managed by many adminis...
160
click to vote
IAT
2006
IEEE
16 years 20 days ago
2006
IEEE
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...