Sciweavers

305 search results - page 12 / 61
» Set Algebra for Service Behavior: Applications and Construct...
Sort
View
CTRSA
2009
Springer
95views Cryptology» more  CTRSA 2009»
14 years 2 months ago
Statistically Hiding Sets
Zero-knowledge set is a primitive introduced by Micali, Rabin, and Kilian (FOCS 2003) which enables a prover to commit a set to a verifier, without revealing even the size of the...
Manoj Prabhakaran, Rui Xue
WWW
2009
ACM
14 years 8 months ago
Automatic web service composition with abstraction and refinement
ion and Refinement Hyunyoung Kil Wonhong Nam Dongwon Lee The Pennsylvania State University, University Park, PA 16802, USA {hykil, wnam, dongwon}@psu.edu The behavioral descriptio...
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
CSCWD
2006
Springer
13 years 11 months ago
An Agent-Mediated Service Framework Facilitating Virtual Organizations
The ability to construct dynamic, flexible virtual organizations becomes one of the most desired features of a distributed application system. This paper proposes an agent-mediated...
Baohua Shan, Yanbo Han, Weiqun Sun
QSIC
2005
IEEE
14 years 1 months ago
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
W. K. Chan, S. C. Cheung, Karl R. P. H. Leung
KR
2004
Springer
14 years 28 days ago
Evidence and Belief
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...
Itzhak Gilboa, David Schmeidler