Sciweavers

3676 search results - page 515 / 736
» Scalable component abstractions
Sort
View
KES
2008
Springer
15 years 6 months ago
A Secure Mediator for Integrating Multiple Level Access Control Policies
Abstract. We present a method for mapping security levels among the components of a distributed system where data in the local sources are represented in XML. Distributed data is i...
Isabel F. Cruz, Rigel Gjomemo, Mirko Orsini
JLP
2006
56views more  JLP 2006»
15 years 6 months ago
Linearization of hybrid processes
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
P. C. W. den Brand van, Michel A. Reniers, Pieter ...
IJCV
2007
117views more  IJCV 2007»
15 years 6 months ago
Implicit Meshes for Effective Silhouette Handling
Abstract. Using silhouettes in uncontrolled environments typically requires handling occlusions as well as changing or cluttered backgrounds, which limits the applicability of most...
Slobodan Ilic, Mathieu Salzmann, Pascal Fua
JNW
2007
135views more  JNW 2007»
15 years 6 months ago
Access Control in Decentralised Publish/Subscribe Systems
Abstract— Publish/subscribe has emerged as an attractive communication paradigm for building Internet-wide distributed systems by decoupling message senders from receivers. Large...
Lauri I. W. Pesonen, David M. Eyers, Jean Bacon
AI
2004
Springer
15 years 6 months ago
The representation of planning strategies
sis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and th...
Andrew S. Gordon