1413 search results - page 164 / 283 » Bisimilarity of Open Terms |
143
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
162
click to vote
ERCIMDL
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Managing bibliographic data is a requirement for many researchers, and in the group setting within which the majority of research takes place, the managing and sharing of...
160
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
Competent Genetic Algorithms can efficiently address problems in which the linkage between variables is limited to a small order k. Problems with higher order dependencies can onl...
160
click to vote
GPCE
2005
Springer
16 years 2 days ago
2005
Springer
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...
158
click to vote
IFIP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...