3729 search results - page 228 / 746 » On Formal Modeling of Agent Computations |
172
click to vote
RECOMB
2008
Springer
16 years 6 months ago
2008
Springer
In the past years, many combinatorial arguments have been made to support the theory that mammalian genome rearrangement scenarios rely heavily on breakpoint reuse. Different model...
169
click to vote
WSC
1996
15 years 7 months ago
1996
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
200
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a mailbox-based scheme for designing flexible and adaptive message delivery protocols in mobile agent (MA) systems. The scheme associates each mobile agent wit...
173
click to vote
SP
2006
IEEE
16 years 17 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
153
click to vote
AAAI
2007
15 years 9 months ago
2007
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...