Sciweavers

4963 search results - page 308 / 993
» Implementing a Categorical Information System
Sort
View
SIGDOC
1999
ACM
15 years 11 months ago
Role-based access control in online authoring and publishing systems vs. document hierarchy
How to structure diverse (documentation) information sources of an enterprise and how to arrange a workflow with access control are two important issues for online authoring and p...
Zhongdong Zhang, Ernst Georg Haffner, Andreas Heue...
TACS
1997
Springer
15 years 11 months ago
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
COOPIS
2002
IEEE
15 years 11 months ago
Parallel Processing with Autonomous Databases in a Cluster System
Abstract. We consider the use of a cluster system for Application Service Provider (ASP). In the ASP context, hosted applications and databases can be update-intensive and must rem...
Stéphane Gançarski, Hubert Naacke, E...
ICDCSW
2002
IEEE
15 years 11 months ago
Subscription Summaries for Scalability and Efficiency in Publish/Subscribe Systems
A key issue when designing and implementing largescale publish/subscribe systems is how to efficiently propagate subscriptions among the brokers of the system. Brokers require thi...
Peter Triantafillou, Andreas A. Economides
ECBS
2007
IEEE
161views Hardware» more  ECBS 2007»
15 years 8 months ago
Alert Fusion for a Computer Host Based Intrusion Detection System
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
Chuan Feng, Jianfeng Peng, Haiyan Qiao, Jerzy W. R...