14809 search results - page 2890 / 2962 » Model transformation by demonstration |
CSFW
2004
IEEE
14 years 1 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
BROADNETS
2006
IEEE
14 years 1 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
CIVR
2006
Springer
14 years 1 months ago
2006
Springer
Digital photographs are replacing tradition films in our daily life and the quantity is exploding. This stimulates the strong need for efficient management tools, in which the anno...
ASIACRYPT
2003
Springer
14 years 1 months ago
2003
Springer
Motivated by privacy issues associated with dissemination of signed digital certificates, we define a new type of signature scheme called a `Universal Designated-Verifier Signatur...