48 search results - page 9 / 10 » Inferring Type Isomorphisms Generically |
PROVSEC
2010
Springer
13 years 5 months ago
2010
Springer
Generic constructions of designated confirmer signatures follow one of the following two strategies; either produce a digital signature on the message to be signed, then encrypt th...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Type safety and expressiveness of many existing Java libraries and their client applications would improve, if the libraries were upgraded to define generic classes. Efficient and...
SOCO
2002
Springer
13 years 7 months ago
2002
Springer
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Current mechanisms for evaluating the trustworthiness of an agent within an electronic marketplace depend either on using a history of interactions or on recommendations from othe...
KCAP
2003
ACM
14 years 23 days ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...