449 search results - page 53 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
236
click to vote
AMCS
2011
14 years 8 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
132
click to vote
VL
2000
IEEE
15 years 5 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
123
click to vote
WD
2010
14 years 11 months ago
2010
Gossip-based epidemic protocols are used to aggregate data in distributed systems. This fault-tolerant approach does neither require maintenance of any global network state nor kno...
117
click to vote
JOC
2000
15 years 1 months ago
2000
The goal of secure multiparty computation is to transform a given protocol involving a trusted party into a protocol without need for the trusted party, by simulating the party am...
122
click to vote
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...