215 search results - page 3 / 43 » Church-Rosser Made Easy |
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
Snowbird is a middleware system based on virtual machine (VM) technology that simplifies the development and deployment of bimodal applications. Such applications alternate betwee...
PKC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. At PKC 2006, Yang, Wong, Deng and Wang proposed the notion of anonymous signature schemes where signatures do not reveal the signer’s identity, as long as some parts of...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
SIGCSE
2005
ACM
14 years 29 days ago
2005
ACM
BTW
2003
Springer
14 years 19 days ago
2003
Springer
Abstract: In this paper, we study adaptive evaluation techniques for querying XMLbased electronic catalogs, and show, by means of experiments performed on real-world catalogs, that...