4690 search results - page 678 / 938 » An operational semantics for Scheme |
199
click to vote
ICDE
2005
IEEE
16 years 1 months ago
2005
IEEE
In the case of large-scale distributed environments such as the Internet, users are interested in monitoring changes to a particular web page (XML or HTML). There are many instanc...
181
click to vote
IRI
2005
IEEE
16 years 1 months ago
2005
IEEE
Sharing and reusing product design information can help reduce cost and time when developing new products and facilitate good product family design. An appropriate representation ...
218
click to vote
ICFP
2005
ACM
16 years 29 days ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
221
click to vote
ASIACRYPT
2005
Springer
16 years 29 days ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
217
click to vote
ICSOC
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Composite web services can be orchestrated in a decentralized manner by breaking down the original service specification into a set of partitions and executing them on a...