4609 search results - page 816 / 922 » Automatic Generation of Sigma-Protocols |
187
click to vote
IS
2006
15 years 5 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
186
click to vote
JMM2
2008
15 years 5 months ago
2008
As computer and database technologies advance rapidly, biologists all over the world can share biologically meaningful data from images of specimens and use the data to classify th...
160
click to vote
JHSN
2006
15 years 5 months ago
2006
: With IPSec/VPN policies being widely deployed, how to correctly specify and configure them is critical in enforcing security requirements. Under current practice, IPSec/VPN polic...
190
click to vote
JMM2
2006
15 years 5 months ago
2006
Augmented Reality (AR) technologies open up new possibilities especially for task-focused domains such as assembly and maintenance. However, it can be noticed that there is still a...
154
click to vote
ENTCS
2007
15 years 5 months ago
2007
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...