523 search results - page 30 / 105 » A Formal Account of WS-BPEL |
COLING
2002
13 years 8 months ago
2002
This paper attempts to bridge the gap between FrameNet frames and inference. We describe a computational formalism that captures structural relationships among participants in a d...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
We consider a privacy threat to a social network in which the goal of an attacker is to obtain knowledge of a significant fraction of the links in the network. We formalize the ty...
ICCD
2004
IEEE
14 years 5 months ago
2004
IEEE
This paper proposes a new formalism for layout-driven optimization of datapaths. It is based on preserving an arithmetic bit level representation of the arithmetic circuit portion...
ACNS
2008
Springer
14 years 2 months ago
2008
Springer
In the pursuit of authentication schemes that balance user privacy and accountability, numerous anonymous credential systems have been constructed. However, existing systems assume...
WPES
2005
ACM
14 years 2 months ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...