18924 search results - page 2 / 3785 » Conformance of Distributed Systems |
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
ATAL
2003
Springer
14 years 22 days ago
2003
Springer
We identify different levels of conformance to a protocol (weak, exhaustive, and robust conformance) and show how conformance may be either checked a priori or enforced at runtim...
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
CSREASAM
2009
13 years 8 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
CEC
2005
IEEE
14 years 1 months ago
2005
IEEE
AbstractSelf-Assembly is a powerful autopoietic mechanism ubiquitous throughout the natural world. It may be found at the molecular scale and also at astronomical scales. Self-asse...