Sciweavers

2290 search results - page 129 / 458
» Extensible Protected Types
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 7 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
BIOSIG
2007
170views Biometrics» more  BIOSIG 2007»
15 years 7 months ago
Privacy enhancing technology for a 3D-face recognition system
: 2D Face images are traditionally used in civil governmental applications. An extension from 2D to 3D images will lead to several advantages when setting up automated authenticati...
Xuebing Zhou, Tom A. M. Kevenaar, Emile Kelkboom, ...
NDT
2010
15 years 4 months ago
A Scalable Framework for Serializable XQuery
This paper focuses on an aspect that is widely neglected in native XML database management systems: support for concurrent transactional access. We analyze the isolation requireme...
Sebastian Bächle, Theo Härder
TKDE
2010
135views more  TKDE 2010»
15 years 4 months ago
A Rule-Based Trust Negotiation System
—Open distributed environments such as the World Wide Web facilitate information sharing but provide limited support to the protection of sensitive information and resources. Tru...
Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedil...
VTC
2010
IEEE
121views Communications» more  VTC 2010»
15 years 4 months ago
MYRPA: An Incentive System with Reduced Payment Receipts for Multi-hop Wireless Networks
Abstract— In this paper, we propose an incentive system to stimulate the nodes’ cooperation in multi-hop wireless networks. Reducing the number and the size of the payment rece...
Mohamed Elsalih Mahmoud, Xuemin Shen