416 search results - page 14 / 84 » Intellectual Property and Open Systems |
IFIPTCS
2000
13 years 11 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
ESORICS
1994
Springer
13 years 11 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
MSE
1999
IEEE
13 years 11 months ago
1999
IEEE
Intellectual property IP blocks are being created for reuse and marketed as a means of reducing the development time of complex designs. This in turn leads to a reduction in time ...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
GROUP
2003
ACM
14 years 19 days ago
2003
ACM
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...