Sciweavers

4445 search results - page 198 / 889
» Reflective Authorization Systems
Sort
View
ICCAD
1996
IEEE
123views Hardware» more  ICCAD 1996»
15 years 9 months ago
Efficient solution of systems of Boolean equations
This paper describes an algorithm for the efficient solution of large systems of Boolean equations. The algorithm exploits the fact that, in some cases, the composition operation ...
Scott Woods, Giorgio Casinovi
AMAST
2008
Springer
15 years 7 months ago
Implementing a Categorical Information System
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
Michael Johnson, Robert D. Rosebrugh
ECIS
2001
15 years 6 months ago
Towards More Professional Information Systems Development: ISD as Knowledge Work
The purpose of this paper is to argue that research and practice of ISD could substantially benefit from interpreting ISD as knowledge work. Two distinct areas of competence are i...
Juhani Iivari, Rudy Hirschheim, Heinz K. Klein
CHI
2009
ACM
15 years 6 months ago
The application of forgiveness in social system design
When an offence occurs, the victim and offender can overcome the harm done through forgiveness. This paper demonstrates how forgiveness can be supported in social system design. W...
Asimina Vasalou, Jens Riegelsberger, Adam N. Joins...
CAISE
2003
Springer
15 years 10 months ago
An Administration Console for the CSAP System
Our group is involved in the European funded Webocracy project in which an e-government system called Webocrat has been designed and implemented. Our responsibility is to provide m...
Fredj Dridi, Björn Muschall, Günther Per...