Sciweavers

6010 search results - page 871 / 1202
» Computational Approaches to Drug Design
Sort
View
AAMAS
1999
Springer
15 years 6 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
SPE
1998
118views more  SPE 1998»
15 years 6 months ago
Implementing a Zooming User Interface: Experience Building Pad++
We are investigating a novel user interface paradigm based on zooming, in which users are presented with a zooming view of a huge planar information surface. We have developed a s...
Benjamin B. Bederson, Jonathan Meyer
CCS
2010
ACM
15 years 5 months ago
NoTamper: automatic blackbox detection of parameter tampering opportunities in web applications
Web applications rely heavily on client-side computation to examine and validate form inputs that are supplied by a user (e.g., “credit card expiration date must be valid”). T...
Prithvi Bisht, Timothy Hinrichs, Nazari Skrupsky, ...
172
Voted
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 5 months ago
Active Integrity Constraints and Revision Programming
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
Luciano Caroprese, Miroslaw Truszczynski
TC
2010
15 years 5 months ago
QoS Control for Pipelines of Tasks Using Multiple Resources
We consider soft real-time applications organised as pipelines of tasks using resources of different type (communication, computation, storage). The applications are assumed to be...
Tommaso Cucinotta, Luigi Palopoli