Sciweavers

8695 search results - page 1453 / 1739
» Making the Complex Simple
Sort
View
IAT
2007
IEEE
15 years 10 months ago
Formalizing Practical Reasoning Under Uncertainty: An Argumentation-Based Approach
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
Leila Amgoud, Henri Prade
ICDCS
2007
IEEE
15 years 10 months ago
Automated Storage Reclamation Using Temporal Importance Annotations
This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim spa...
Surendar Chandra, Ashish Gehani, Xuwen Yu
ICDE
2007
IEEE
134views Database» more  ICDE 2007»
15 years 10 months ago
Apply Model Checking to Security Analysis in Trust Management
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
Mark Reith, Jianwei Niu, William H. Winsborough
INFOCOM
2007
IEEE
15 years 10 months ago
Routing and Channel Allocation in Rural Wireless Mesh Networks
— IEEE 802.11 Wi-Fi equipment based wireless mesh networks have recently been proposed as an inexpensive approach to connect far-flung rural areas. Such networks are built using...
Partha Dutta, Sharad Jaiswal, Rajeev Rastogi
ISCA
2007
IEEE
120views Hardware» more  ISCA 2007»
15 years 10 months ago
Examining ACE analysis reliability estimates using fault-injection
ACE analysis is a technique to provide an early reliability estimate for microprocessors. ACE analysis couples data from performance models with low level design details to identi...
Nicholas J. Wang, Aqeel Mahesri, Sanjay J. Patel
« Prev « First page 1453 / 1739 Last » Next »