11561 search results - page 1952 / 2313 » A Language for Biochemical Systems |
228
click to vote
CLEF
2005
Springer
16 years 1 months ago
2005
Springer
We describe the objectives and organization of the CLEF 2005 ad hoc track and discuss the main characteristics of the tasks offered to test monolingual, bilingual and multilingual ...
214
click to vote
FASE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
203
Voted
GW
2005
Springer
16 years 1 months ago
2005
Springer
We aim at creating an expressive Embodied Conversational Agent (ECA) and address the problem of synthesizing expressive agent gestures. In our previous work, we have described the ...
204
click to vote
IFIP
2005
Springer
16 years 1 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
192
click to vote
IFIP
2005
Springer
16 years 1 months 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...