Sciweavers

5634 search results - page 500 / 1127
» About Abstract Classes
Sort
View
230
Voted
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
JSW
2006
89views more  JSW 2006»
15 years 6 months ago
Towards a Mathematical Foundation for Service-Oriented Applications Design
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...
JUCS
2006
117views more  JUCS 2006»
15 years 6 months ago
A Structure Causality Relation for Liveness Characterisation in Petri Nets
: Characterising liveness using a structure based approach is a key issue in theory of Petri nets. In this paper, we introduce a structure causality relation from which a topologic...
Belhassen Zouari
187
Voted
JUCS
2006
126views more  JUCS 2006»
15 years 6 months ago
Behavioral Institutions and Refinements in Generalized Hidden Logics
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
Manuel A. Martins
FOCM
2007
48views more  FOCM 2007»
15 years 6 months ago
Integration and Optimization of Multivariate Polynomials by Restriction onto a Random Subspace
Abstract. We consider the problem of efficient integration of an n-variate polynomial with respect to the Gaussian measure in Rn and related problems of complex integration and opt...
Alexander I. Barvinok