Sciweavers

789 search results - page 38 / 158
» Pushing using Compliance
Sort
View
GC
2004
Springer
15 years 2 months ago
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
WEBNET
2001
15 years 15 days ago
Website Usability and Content Accessibility of the top USA Universities
: This study investigates whether the websites of the top USA universities are ranked high in terms of accessibility and usability and if these two measures are correlated. The usa...
Panayiotis Zaphiris, R. Darin Ellis
IJCIS
2006
123views more  IJCIS 2006»
14 years 11 months ago
Non-Intrusive Monitoring of Service-Based Systems
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
George Spanoudakis, Khaled Mahbub
TIP
1998
112views more  TIP 1998»
14 years 10 months ago
Histogram-based segmentation in a perceptually uniform color space
—In this work, we present a segmentation algorithm for color images that uses the watershed algorithm to segment either the twodimensional (2-D) or the three-dimensional (3-D) co...
Leila Shafarenko, H. Petrou, Josef Kittler
CCS
2011
ACM
13 years 11 months ago
Policy auditing over incomplete logs: theory, implementation and applications
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
Deepak Garg, Limin Jia, Anupam Datta