Sciweavers

5623 search results - page 131 / 1125
» Incremental Mechanism Design
Sort
View
121
Voted
FOSAD
2000
Springer
15 years 4 months ago
Access Control: Policies, Models, and Mechanisms
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...
Pierangela Samarati, Sabrina De Capitani di Vimerc...
EHCI
2001
15 years 2 months ago
Heuristic Evaluation of Groupware Based on the Mechanics of Collaboration
Despite the increasing availability of groupware, most systems are awkward and not widely used. While there are many reasons for this, a significant problem is that groupware is di...
Kevin Baker, Saul Greenberg, Carl Gutwin
JLP
2008
108views more  JLP 2008»
15 years 21 days ago
Composition mechanisms for retrenchment
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
Richard Banach, Czeslaw Jeske, Michael Poppleton
101
Voted
CDC
2010
IEEE
14 years 7 months ago
Pressure- and work-limited neuroadaptive control for mechanical ventilation of critical care patients
In this paper, we develop a neuroadaptive control architecture to control lung volume and minute ventilation with input pressure constraints that also accounts for spontaneous brea...
Konstantin Y. Volyanskyy, Wassim M. Haddad, James ...
103
Voted
WWW
2007
ACM
16 years 1 months ago
Netprobe: a fast and scalable system for fraud detection in online auction networks
Given a large online network of online auction users and their histories of transactions, how can we spot anomalies and auction fraud? This paper describes the design and implemen...
Shashank Pandit, Duen Horng Chau, Samuel Wang, Chr...