1532 search results - page 149 / 307 » An Algebraic Process Calculus |
194
click to vote
SSDBM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an approach to answering queries over an ontology modelled using a description logic. The ontology acts as a global schema, providing a declarative description...
157
click to vote
CSFW
2008
IEEE
16 years 23 days ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
156
click to vote
FSEN
2009
Springer
16 years 26 days ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
181
click to vote
RP
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
185
click to vote
NCA
2008
IEEE
16 years 21 days ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...