5384 search results - page 18 / 1077 » Open Standards Requirements |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
In this paper we resolve an open problem regarding resettable zero knowledge in the bare public-key (BPK for short) model: Does there exist constant round resettable zero knowledg...
STOC
1998
ACM
13 years 11 months ago
1998
ACM
We introduce and study a modi ed notion of planarity, in which two regions of a map are considered adjacent when they share any point of their boundaries not an edge, as standard...
ISSA
2004
13 years 8 months ago
2004
This paper argues that powerful impetus exists for the realisation of a global multilateral electronic market infrastructure, as envisaged by the ebXML1 endeavour. Crucial in this...
SMC
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper presents the design and architecture of an integrated environment that provides location independent and mobile access to Intelligent Domotic Environments. The envision...
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...