4356 search results - page 382 / 872 » Communicating Transactions - (Extended Abstract) |
174
click to vote
EUSAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this article we identify the general communication patterns of physical devices and define all interfaces and conflict resolution strategies that are present in any ...
206
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
191
click to vote
ICOIN
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper we present the set of base algorithms for generating connected random graphs (RG). RG can be used for testing different algorithms on networks. The fast al...
175
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
202
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...