Sciweavers

2232 search results - page 275 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
SASO
2007
IEEE
16 years 23 days ago
STORM: A Secure Overlay for P2P Reputation Management
A fundamental problem that confronts decentralized reputation systems is the design of efficient, secure and incentive-compatible mechanisms to gather trust information despite m...
Aina Ravoaja, Emmanuelle Anceaume
ESORICS
2004
Springer
15 years 12 months ago
An Algebra for Composing Enterprise Privacy Policies
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...
Michael Backes, Markus Dürmuth, Rainer Steinw...
CSCW
1996
ACM
15 years 10 months ago
Piazza: A Desktop Environment Supporting Impromptu and Planned Interactions
Much of the support for communication across distributed communities has focused on meetings and intentional contact. However, most interactions within co-located groups occur whe...
Ellen Isaacs, John C. Tang, Trevor Morris
EMSOFT
2008
Springer
15 years 8 months ago
Disassembling real-time fault-tolerant programs
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Ar...
IADIS
2004
15 years 7 months ago
A Generic Framework for Assessment in Adaptive Educational Hypermedia
An important concern in web based educational environment is the task of designing and preparing learner assessment, which would enhance the learning process. Currently the majori...
Lilia Cheniti-Belcadhi, Rafik Braham, Nicola Henze...