Sciweavers

7530 search results - page 528 / 1506
» Design and Implementation of the YAWL System
Sort
View
ASYNC
2002
IEEE
113views Hardware» more  ASYNC 2002»
16 years 12 days ago
A Dual-Mode Synchronous/Asynchronous CORDIC Processor
For application in a software defined radio a CORDIC processor has been developed that can operate both in synchronous and asynchronous mode. Each mode of operation has advantages...
Eckhard Grass, Bodhisatya Sarker, Koushik Maharatn...
SACMAT
2011
ACM
14 years 10 months ago
xDAuth: a scalable and lightweight framework for cross domain access control and delegation
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...
Masoom Alam, Xinwen Zhang, Kamran Khan, Gohar Ali
POPL
2012
ACM
14 years 3 months ago
A language for automatically enforcing privacy policies
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
Jean Yang, Kuat Yessenov, Armando Solar-Lezama
CRIWG
2003
15 years 8 months ago
Supporting Complex Decision Making Processes with Collaborative Applications - A Case Study
Abstract. There has been much research on the design of Groupware, its potential benefits and the methods used to develop systems to support groups. However, in many real life case...
Patrick Brézillon, Frédéric A...
JCP
2008
116views more  JCP 2008»
15 years 7 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...