Sciweavers

2790 search results - page 377 / 558
» The Human-Provided Services Framework
Sort
View
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 7 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
HICSS
2010
IEEE
227views Biometrics» more  HICSS 2010»
15 years 6 months ago
Business Value Creation through Business Processes Management and Operational Business Intelligence Integration
Current approaches to Business Process Management (BPM) and Operational Business Intelligence (BI) integration have been very limited and simply reduced to the problem of technica...
Olivera Marjanovic
ENTCS
2007
79views more  ENTCS 2007»
15 years 6 months ago
Towards Trustworthy Spatial Messaging
Spatial messaging is a term that defines the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. F...
Michel Deriaz, Jean-Marc Seigneur
SCN
2008
Springer
166views Communications» more  SCN 2008»
15 years 6 months ago
Secure, pseudonymous, and auditable communication in vehicular ad hoc networks
Abstract-- Vehicular ad hoc networks (VANETs) represent a promising new communication technology that can facilitate many new forms of automotive applications. Many of the applicat...
Pandurang Kamat, Arati Baliga, Wade Trappe
COMCOM
2004
96views more  COMCOM 2004»
15 years 6 months ago
Achieving proportional delay differentiation efficiently
In this paper, we focus on efficiently achieving Proportional Delay Differentiation (PDD), an instance of the Proportional Differentiation Model (PDM) first proposed under the Dif...
Hoon-Tong Ngin, Chen-Khong Tham