2296 search results - page 365 / 460 » The Expressive Power of Synchronizations |
122
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
140
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
140
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
As a simple XML query language but with enough expressive power, XPath has become very popular. To expedite evaluation of XPath queries, we consider the problem of rewriting XPath...
158
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
RFID technology can be used to significantly improve the efficiency of business processes by providing the capability of automatic identification and data capture. This technol...
134
click to vote
WAC
2005
Springer
15 years 10 months ago
2005
Springer
: The development and deployment of interconnected networks is being increasingly limited by their complexity and the concomitant cost of managing the operational network. Autonomi...