Sciweavers

3505 search results - page 507 / 701
» A Language for Human Action
Sort
View
PET
2004
Springer
15 years 12 months ago
A Formal Privacy System and Its Application to Location Based Services
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
Carl A. Gunter, Michael J. May, Stuart G. Stubbleb...
SAC
2010
ACM
15 years 12 months ago
A semantic web-based approach for personalizing news
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...
Kim Schouten, Philip Ruijgrok, Jethro Borsje, Flav...
APSEC
2003
IEEE
15 years 12 months ago
An Extensible Framework for Collaborative Software Engineering
The size, complexity and duration of typical software engineering projects means that teams of developers will work on them. However, with the exception of version control systems...
Carl Cook, Neville Churcher
CSFW
2003
IEEE
15 years 12 months ago
Using First-Order Logic to Reason about Policies
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
Joseph Y. Halpern, Vicky Weissman
CW
2003
IEEE
15 years 12 months ago
Educative Distributed Virtual Environments For Children
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...
Jean-Pierre Gerval, Dorin Mircea Popovici, Jacques...