148 search results - page 25 / 30 » Linear Logic on Petri Nets |
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
ICECCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
RSP
1998
IEEE
13 years 12 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
VL
1996
IEEE
13 years 12 months ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...