11561 search results - page 1952 / 2313 » A Language for Biochemical Systems |
198
click to vote
CLEF
2005
Springer
16 years 11 days 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 ...
186
click to vote
FASE
2005
Springer
16 years 10 days 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...
172
click to vote
GW
2005
Springer
16 years 10 days 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 ...
186
Voted
IFIP
2005
Springer
16 years 10 days 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...
168
click to vote
IFIP
2005
Springer
16 years 10 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...