1454 search results - page 226 / 291 » Stateful traits and their formalization |
203
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we will examine two main aspects of trust dynamics: a) How direct experiences involving trust, with their successes or failures, influence the future trust of an age...
203
click to vote
BIRTHDAY
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
169
click to vote
CONCUR
2004
Springer
16 years 6 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
198
click to vote
ESWS
2004
Springer
16 years 6 days ago
2004
Springer
The next Web generation promises to deliver Semantic Web Services (SWS); services that are self-described and amenable to automated discovery, composition and invocation. A prerequ...
210
click to vote
FSE
2004
Springer
16 years 6 days ago
2004
Springer
Symmetric encryption schemes are usually formalized so as to make the encryption operation a probabilistic or state-dependent function E of the message M and the key K: the user su...