2036 search results - page 67 / 408 » A generic type-and-effect system |
119
Voted
BMCBI
2006
15 years 19 days ago
2006
Background: The automation of many common molecular biology techniques has resulted in the accumulation of vast quantities of experimental data. One of the major challenges now fa...
ENTCS
2006
15 years 18 days ago
2006
The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operato...
124
click to vote
INFORMATICALT
2007
15 years 15 days ago
2007
Semantic-based storage and retrieval of multimedia data requires accurate annotation of the data. Annotation can be done either manually or automatically. The retrieval performance...
123
Voted
PKC
2012
Springer
13 years 3 months ago
2012
Springer
ded abstract of this work will appear in Public Key Cryptography — PKC 2012. This is the full version. We propose a general framework that converts (ordinary) signature schemes ...
94
Voted
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
Meta-models and Generic models have been built in the area of Information Systems to facilitate the task of system designers. It de-emphasises the view under which applications are...