1525 search results - page 241 / 305 » Formal Models for Communication-Based Design |
95
Voted
ICMAS
2000
15 years 2 months ago
2000
In this paper, we formulate agent's decision process under the framework of Markov decision processes, and in particular, the multi-agent extension to Markov decision process...
103
Voted
CJ
2006
15 years 21 days ago
2006
Aggregate signatures are a useful primitive which allows to aggregate into a single and constant-length signature many signatures on different messages computed by different users...
94
Voted
ENTCS
2007
15 years 19 days ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
121
Voted
INFORMATICALT
2007
15 years 17 days ago
2007
Abstract. Deniable authenticated protocol is a new cryptographic authentication protocol that enables a designated receiver to identify the source of a given message without being ...
117
Voted
JUCS
2010
14 years 7 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...