860 search results - page 34 / 172 » A Process Algebra Based Verification of a Production System |
132
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...
157
Voted
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
140
Voted
CAV
1998
Springer
15 years 7 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
116
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...
150
Voted
CD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...