57 search results - page 11 / 12 » Petri Algebras |
VVEIS
2007
13 years 6 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
WOSP
2005
ACM
13 years 11 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
PE
2010
Springer
13 years 3 days ago
2010
Springer
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
FORTE
2004
13 years 6 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
ENTCS
2006
13 years 5 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...