10462 search results - page 381 / 2093 » Towards a |
184
click to vote
ICALP
2004
Springer
16 years 6 days ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
165
click to vote
ICARIS
2004
Springer
16 years 6 days ago
2004
Springer
We propose that bio-inspired algorithms are best developed and analysed in the context of a multidisciplinary conceptual framework that provides for sophisticated biological models...
158
click to vote
ICBA
2004
Springer
16 years 6 days ago
2004
Springer
This paper addresses the problem of developing an automated system for postmortem identification using dental records. The Automated Dental Identification System (ADIS) can be use...
141
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Implementations of parallel dialects (or: coordination languages) on a functional base (or: computation) language always have to extend complex runtime environments by th...
166
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Lately, grid research has focused its attention on interoperability and standards, such as Grid Services, in order to facilitate resource virtualization, and to accommoda...