10038 search results - page 1961 / 2008 » Model Checking for Managers |
184
click to vote
POLICY
2005
Springer
15 years 11 months ago
2005
Springer
The Platform for Privacy Preferences (P3P) is a W3C framework for web privacy management. It provides a standard vocabulary that websites can use to describe their privacy practic...
209
click to vote
STORYTELLING
2005
Springer
15 years 11 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
164
click to vote
VIZSEC
2005
Springer
15 years 11 months ago
2005
Springer
While efficient graph-based representations have been developed for modeling combinations of low-level network attacks, relatively little attention has been paid to effective tech...
156
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...
161
click to vote
JCDL
2004
ACM
15 years 11 months ago
2004
ACM
With the growth of digital music, content-based music retrieval (CBMR) has attracted increasingly attention. For most CBMR systems, the task is to return music objects similar to ...