449 search results - page 35 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
123
Voted
ISOLA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
108
click to vote
ECEASST
2008
15 years 1 months ago
2008
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
159
click to vote
NGC
2006
Springer
15 years 1 months ago
2006
Springer
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...
121
click to vote
TCC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
CII
2008
15 years 1 months ago
2008
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...