4609 search results - page 709 / 922 » Automatic Generation of Sigma-Protocols |
187
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
166
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...
268
click to vote
VLDB
2003
ACM
16 years 6 months ago
2003
ACM
Service composition is gaining momentum as the potential silver bullet for the envisioned Semantic Web. It purports to take the Web to unexplored efficiencies and provide a flexibl...
262
click to vote
VLDB
2004
ACM
16 years 6 months ago
2004
ACM
Abstract. In dynamic environments like the Web, data sources may change not only their data but also their schemas, their semantics, and their query capabilities.When a mapping is ...
252
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...